関連ワード:  delete file from github project    delete file from github pr    remove file from github pr    remove file from git pr    remove file from git project    delete file from git pull request    delete file from pull request github    remove file from previous git commit    how to delete git file from project    removing a file from github