4,461
edits
Git: Difference between revisions
→Delete a branch: Delete a remote branch that as no actual reference on the remote
→Undo last commit: Fix or amend last commit |
→Delete a branch: Delete a remote branch that as no actual reference on the remote |
||
| Line 133: | Line 133: | ||
<source lang="bash"> | <source lang="bash"> | ||
git push origin --delete hotpatch1 | git push origin --delete hotpatch1 | ||
</source> | |||
* Delete a remote branch that as no actual reference on the remote | |||
<source lang="bash"> | |||
git branch -r -d origin/hotpatch1 | |||
</source> | </source> | ||