関連ワード:  delete pr from github    delete pull request from github    remove pr from github    delete pr from git    delete closed pr from github    delete open pr from github    delete pull request from history github    delete profile github    delete file from pr github    delete file from pull request github