関連ワード:  cancel a pull request github    delete a pull request github    revert a pull request github    close a pull request github    undo a pull request github    remove a pull request github    delete a merge request github    revert a merge request github    revert a merged pull request github    delete a closed pull request github