関連ワード:  remove a file from github pr    remove a file from git pr    remove a file from git pull request    remove a file from pull request github    remove file from git project    remove file from previous git commit    delete file from github project    can you remove a file from a pr in github