Added git commands to revert a commit and to undo a push, leaving the local repo intact.

This commit is contained in:
Donne Martin 2015-08-18 07:19:01 -04:00
parent 35583d626c
commit 79d0727912

View File

@ -246,6 +246,12 @@
"# Undo a file that has not been added\n",
"!git checkout — [target]\n",
"\n",
"# Revert a commit\n",
"!git revert\n",
"\n",
"# Undo a push and leave local repo intact\n",
"!git push -f origin HEAD^:master\n",
"\n",
"# Undo commit but leave files and index\n",
"!git reset --soft HEAD~1\n",
"\n",