This repository has been archived by the owner on Jan 22, 2022. It is now read-only.
Git Push Tags option no longer there? #2
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The wiki mentions this option, but it looks like it's been removed with 0f56dae
It should come back, maybe with a dedicated publisher?
The text was updated successfully, but these errors were encountered: