How to revert a commit in git after push in terminal | 1 min. GitHub tutorial