Read more about reverting pull requests

After a pull request is merged, you may find it does not help anything or it was a bad decision to merge the pull request. You can revert it by clicking the Revert button on the right side of a commit in the pull request page to create a pull request with reverted changes to this specific pull request.