mirror of
https://github.com/namibia/tips.git
synced 2024-09-28 21:49:01 +00:00
Merge pull request #18 from ejmr/git-push-delete
Add an easier-to-read way to delete a remote branch
This commit is contained in:
commit
aa62766196
@ -115,6 +115,12 @@ git branch -d <local_branchname>
|
||||
|
||||
## Delete remote branch
|
||||
```sh
|
||||
git push origin --delete <remote_branchname>
|
||||
```
|
||||
|
||||
|
||||
__Alternatives:__
|
||||
```sh
|
||||
git push origin :<remote_branchname>
|
||||
```
|
||||
|
||||
|
@ -57,7 +57,8 @@
|
||||
},
|
||||
{
|
||||
"title": "Delete remote branch",
|
||||
"tip": "git push origin :<remote_branchname>"
|
||||
"tip": "git push origin --delete <remote_branchname>",
|
||||
"alternatives": ["git push origin :<remote_branchname>"]
|
||||
},
|
||||
{
|
||||
"title": "Undo local changes with the last content in head",
|
||||
|
Loading…
Reference in New Issue
Block a user