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 [2015/02/11 21:07] miconda [GIT Repository Location] |
devel:git-commit-guidelines [2015/11/23 13:09] linuxmaniac [Delete Remote Branch] |
||
|---|---|---|---|
| Line 316: | Line 316: | ||
| git push origin --delete < | git push origin --delete < | ||
| </ | </ | ||
| + | |||
| + | ==== Revert already pushed commit ==== | ||
| + | |||
| + | This will produce a commit reverting the previous commit < | ||
| + | |||
| + | < | ||
| + | git revert < | ||
| + | git push origin | ||
| + | </ | ||
| + | |||
devel/git-commit-guidelines.txt ยท Last modified: 2018/10/24 22:33 by henningw
Page Tools
