git was rolled back locally, but as soon as I executed git pull it came back
Direct git push reported an error again.
仅有的幸福2017-05-02 09:42:12
The easiest way is to create a branch and merge the corrected bugs, and that's it.
PHP中文网2017-05-02 09:42:12
1.git revert (recommended)
2.git push -f after git reset (not recommended, does not respect historical records)
