関連ワード:  delete file in pr github    delete file in pull request github    delete file in github    delete file in github repository    delete file in github web    delete file in github ui    delete file in github website    delete files github mobile    delete file in github branch    delete file in github browser