関連ワード:  delete pull request from github    delete pull request from history github    delete pull request github enterprise    delete a closed pull request from github    cancel pull request github    close pull request github    delete merge request github    close pull request github actions    close pull request github api    close pull request github means