Incorporating changes from a pull request
You can propose changes to your work on GitHub through pull requests. Learn how to create, manage, and merge pull requests.
About pull request merges
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
headbranch onto the
Merging a pull request
Merge a pull request into the upstream branch when work is completed. Anyone with push access to the repository can complete the merge.
Automatically merging a pull request
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.
Merging a pull request with a merge queue
If a merge queue is required by the branch protection setting for the branch, you can add your pull requests to a merge queue and GitHub will merge the pull requests for you once all required checks have passed.
Closing a pull request
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.
Reverting a pull request
You can revert a pull request after it's been merged to the upstream branch.