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