knowledge
/
git-tips
mirror of https://github.com/namibia/tips.git
1
0
Fork 0
Code Issues Releases Activity

Merge pull request #142 from blackjid/patch-1 

Add alternative to remove remote tag
This commit is contained in:
hemanth.hm 2017-03-28 13:52:11 +05:30 committed by GitHub
parent 1078b41bf6 af614c269e
commit 8aa8aa8692
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -291,7 +291,13 @@ git tag -d <tag-name>
## Delete remote tag
```sh
git push origin :refs/tags/<tag-name>
git push origin :<remote_tagname>
```
__Alternatives:__
```sh
git push origin :refs/tags/<remote_tagname>
```
## Undo local changes with the last content in head