関連ワード:  delete file from github pr    remove file from git pr    remove file from git project    delete file from git pull request    remove file from previous git commit    delete file from pull request github    remove file changes from pr git