mirror of
https://github.com/git-tips/tips.git
synced 2024-06-08 04:45:21 +02:00
Remove redundancy in delete remote tag
This commit is contained in:
parent
25bbaa93e9
commit
0e780f4448
|
@ -331,7 +331,7 @@ git tag -d <tag-name>
|
|||
|
||||
## Delete remote tag
|
||||
```sh
|
||||
git push origin --delete refs/tags/<tag-name>
|
||||
git push origin --delete <tag-name>
|
||||
```
|
||||
|
||||
|
||||
|
@ -340,11 +340,6 @@ __Alternatives:__
|
|||
git push origin :refs/tags/<tag-name>
|
||||
```
|
||||
|
||||
|
||||
```sh
|
||||
git push origin --delete <tag-name>
|
||||
```
|
||||
|
||||
## Undo local changes with the content in index(staging)
|
||||
```sh
|
||||
git checkout -- <file_name>
|
||||
|
|
|
@ -73,8 +73,8 @@
|
|||
"tip": "git tag -d <tag-name>"
|
||||
}, {
|
||||
"title": "Delete remote tag",
|
||||
"tip": "git push origin --delete refs/tags/<tag-name>",
|
||||
"alternatives": ["git push origin :refs/tags/<tag-name>", "git push origin --delete <tag-name>"]
|
||||
"tip": "git push origin --delete <tag-name>",
|
||||
"alternatives": ["git push origin :refs/tags/<tag-name>"]
|
||||
}, {
|
||||
"title": "Undo local changes with the content in index(staging)",
|
||||
"tip": "git checkout -- <file_name>"
|
||||
|
|
Loading…
Reference in New Issue
Block a user