関連ワード:  delete file from pr github    delete file from pull request github    delete file from git pr    delete file from git pull request    remove commited file from pull request github    delete file from github    delete file from github repository    delete file from github history    delete file from github ui    delete file from github web