when pushing, check if server is advertising annotated tags
Check if already we have these annotated tags; if so, don't push it. Update test-git-tags too.
Please register or sign in to comment
Check if already we have these annotated tags; if so, don't push it. Update test-git-tags too.