結果 : how to revert a pushed commit in git command line