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