git was rolled back locally, but as soon as I executed git pull it came back
Direct git push reported an error again.
小伙看你根骨奇佳,潛力無限,來學(xué)PHP伐。
The easiest way is to create a branch and merge the corrected bugs, and that's it.
1.git revert (recommended)
2.git push -f after git reset (not recommended, does not respect historical records)