changeset 2233 | d0c386e6f039 |
parent 2232 | ac7f6d8bea28 |
child 2251 | 841872ee6d85 |
--- a/git.rst Sat Mar 03 15:22:58 2018 +0200 +++ b/git.rst Sat Mar 03 15:25:22 2018 +0200 @@ -417,6 +417,12 @@ $ git reset --hard $HASH $ git push -u origin master --force +You can delete remote branch with syntax of appended colon before branch name:: + + $ git reset HEAD^ + $ git push origin :$NAME + $ git push origin $NAME + Git bisect ==========