Replies: 1 comment 5 replies
-
Currently there isn't, so I guess a custom command is what I'd advise. Something like this:
|
Beta Was this translation helpful? Give feedback.
5 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I was able to figure out how to create local tags and push them, but I don't seem to be able to push a deleted local tag. Is this possible?
Also it seems deleting tags locally is futile anyway, they come back from the remote in a minute anyway... Is it possible to make it stick?
Beta Was this translation helpful? Give feedback.
All reactions