This version of GitHub Enterprise Server was discontinued on 2023-09-25. 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 Server. For help with the upgrade, contact GitHub Enterprise support.
Configuring pull request merges
You can configure pull request merges on your GitHub Enterprise Server instance to match your workflow and preferences for managing Git history.
About merge methods on GitHub
You can allow contributors with push access to your repository to merge their pull requests on your GitHub Enterprise Server instance with different merge options or enforce a specific merge method for all of your repository's pull requests.
Configuring commit merging for pull requests
You can enforce, allow, or disable merging with a merge commit for all pull request merges on your GitHub Enterprise Server instance in your repository.
Configuring commit squashing for pull requests
You can enforce, allow, or disable commit squashing for all pull request merges on your GitHub Enterprise Server instance in your repository.
Configuring commit rebasing for pull requests
You can enforce, allow, or disable commit rebasing for all pull request merges on your GitHub Enterprise Server instance in your repository.
Managing suggestions to update pull request branches
You can give users the ability to always update a pull request branch when it is not up to date with the base branch.
Managing auto-merge for pull requests in your repository
You can allow or disallow auto-merge for pull requests in your repository.
Managing the automatic deletion of branches
You can have head branches automatically deleted after pull requests are merged in your repository.