How can I tell if a tag has been pushed, or not?
- From
- layer <layer@known.net>
- Date
- Jul 10, 2009, 17:43 UTC
- Message-ID
- <14563.1247247807@relay.known.net>
Here's the problem:
I expect that users, in their own private repos, will from time to time create tags that should not be pushed. Sometimes, tags that should be pushed will be created.
I could require that the "public" tags follow a specific convention (start with "release", or something). Then, the scripts all my developers use could use that and push only certain tags. However, over time there could be a large number of them. It seems undesirable to push each tag each time a push is done. So, how can I tell if a tag has already been pushed? Is there a way?
Thanks.