関連ワード:  github delete a pull request    git delete a pull request    github cancel a pull request    github close a pull request    git cancel a pull request    git delete a merge request    git remove a pull request    github delete a closed pull request    github delete pull request from history    github delete pull request completely