I’m aware of the reason that git push --tags is a separate operation to plain old git push. Pushing tags should be a conscious choice since you don’t want accidentally push one. That’s fine. But is there a way to push both together? (Aside from git push && git push --tags.)

6 s
6

Tags:

Leave a Reply

Your email address will not be published. Required fields are marked *