関連ワード:  delete a pull request from github    delete a closed pull request from github    can you delete a pull request from github    cancel a pull request github    close a pull request github    delete a merge request github    delete a pull request git    delete pull request from history github    delete pull request github enterprise    cancel a pull request git