0x0001起因
merge错了branch. 本地revert 了,但是不知道怎么push上去。
0x0002方法
git reset --hard HEAD~1//1表示在1次commit之前(or git reset --hard <commit ID号>)
git push -f(看来得霸王硬上弓阿)
0x0003其他参考,没用过,因为找不到那个蓝色的revert小按钮。。。擦擦擦
https://help.github.com/articles/reverting-a-pull-request/
1.In the “Pull Requests” list, click the pull request you’d like to revert.
2.Revert pull request linkNear the bottom of the pull request, click Revert.
3.Merge the resulting pull request. For more information, see “Merging a pull request.”