関連ワード:  github undo file changes    github remove file changes from pull request    github remove file changes from pr    github discard file changes    github undo changes to one file    git command to undo changes    github delete action