You can merge pull requests by retaining all the commits in a feature branch, squashing all commits into a single commit, or by rebasing individual commits from the head branch onto the base branch.
Merge a pull request into the upstream branch when work is completed. Anyone with push access to the repository can complete the merge.
You can increase development velocity by enabling auto-merge for a pull request so that the pull request will merge automatically when all merge requirements are met.
If merge queues are enabled for the repository, you can add your pull requests to the merge queue once all the required checks have passed. GitHub will merge the pull requests for you.
You may choose to close a pull request without merging it into the upstream branch. This can be handy if the changes proposed in the branch are no longer needed, or if another solution has been proposed in another branch.
You can revert a pull request after it's been merged to the upstream branch.
All GitHub docs are open source. See something that's wrong or unclear? Submit a pull request.
Or, learn how to contribute.