English
Explore by product
GitHub
English
This version of GitHub Enterprise was discontinued on 2021-09-23. No patch releases will be made, even for critical security issues. For better performance, improved security, and new features, upgrade to the latest version of GitHub Enterprise. For help with the upgrade, contact GitHub Enterprise support.
Incorporating changes from a pull request
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
head
branch onto thebase
branch.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.
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.