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