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
The current command (git push $remote HEAD refs/tags/$tag) fails sometimes, for reasons I haven't fully yet understood. It seems like git push --follow-tags would be a better option.
The text was updated successfully, but these errors were encountered:
The current command (
git push $remote HEAD refs/tags/$tag
) fails sometimes, for reasons I haven't fully yet understood. It seems likegit push --follow-tags
would be a better option.The text was updated successfully, but these errors were encountered: