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
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
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