User Tools
devel:git-commit-guidelines
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
devel:git-commit-guidelines [2014/12/15 13:56] miconda [GIT Repository Location] |
devel:git-commit-guidelines [2015/01/09 18:34] miconda [Delete Remote Branch] |
||
|---|---|---|---|
| Line 306: | Line 306: | ||
| < | < | ||
| git push origin :< | git push origin :< | ||
| + | </ | ||
| + | |||
| + | As of Git v1.7.0, a remote branch can be deleted using: | ||
| + | |||
| + | < | ||
| + | git push origin --delete < | ||
| </ | </ | ||
devel/git-commit-guidelines.txt ยท Last modified: 2018/10/24 22:33 by henningw
Page Tools
