関連ワード:  undo a pull request github    revert a pull request github    cancel a pull request github    revert a merged pull request github    undo merge pull request github    can i undo a pull request in github    can you delete a pull request    how to remove a pull request in github