関連ワード:  remove file from pr github    remove file from pr git    remove file from pull request github    remove file from pull request git    remove commited file from pull request github    remove file from git    remove file from git history    remove file from git add    remove file from git commit    remove file from git tracking