Skip to content

What is the best way to push code + tags to github? #738

Zaloog started this conversation in Best Practices & Workflows
Discussion options

You must be logged in to vote

Replies: 1 comment 2 replies

Comment options

You must be logged in to vote
2 replies
@Zaloog
Comment options

@abravalheri
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants