関連ワード:  delete closed pull request github    delete closed pull request    delete closed merge request gitlab    delete closed merge request    git delete closed pull request    can i delete closed pull request    git delete closed merge request    can you delete closed pull requests    can you delete a pull request