You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
docs: tell how to push one tag; that rc start with n=0 (#3222)
If your local repo tags don't match the remote, then `git push --tags`
will push _all_
tags. This confuses the release workflow and it doesn't trigger
properly. It can also
push junk tags and trigger an accidental release (hence how a 0.1
release showed up
months ago; I accidentally pushed a junk tag).
Along the way, mention that N=0 to start with for RCs
0 commit comments