関連ワード:  git delete a merge request    git delete a pull request    git undo a merge request    github delete a pull request    git undo a pull request    git remove a pull request    github delete merge request    git delete closed merge request    git delete pull request command line    github delete a closed pull request