関連ワード:  github close a pull request    github delete a pull request    github cancel a pull request    git delete a pull request    git cancel a pull request    github close pull request without merging    git close pull request    git delete a merge request    git cancel a merge request    github delete a closed pull request