関連ワード:  github revert changes to a file    github revert changes to file in pull request    github revert changes to specific file    github revert changes to one file    github discard changes to file    github undo changes to one file    github revert vs reset    github revert local changes    github revert to previous version