関連ワード:  revert a pull request github    cancel a pull request github    undo a pull request github    revert a merge request github    revert a merged pull request github    revert pull request github command line    roll back pull request github    undo merge pull request github    can you revert a pull request in github    can you delete a pull request