Skip to main content

Enterprise Server 3.15 is currently available as a release candidate.

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 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 GitHub in your repository.

Managing a merge queue

You can increase development velocity with a merge queue for pull requests 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.