関連ワード:  how to revert pushed file in git    how to undo pushed file in git    how to delete pushed file in git    how to delete pushed file in github    how to restore a pushed file in git    how to revert committed but not pushed files in git    how to revert a file in git after push    how to restore file in git after push    how to revert a file in git    how to revert git last push