結果 : github how to revert a pushed commit