Skip to content

Enable updating PR branches from Github UI#527

Merged
martin-g merged 1 commit intomainfrom
update-branches-from-github-ui
Mar 30, 2026
Merged

Enable updating PR branches from Github UI#527
martin-g merged 1 commit intomainfrom
update-branches-from-github-ui

Conversation

@martin-g
Copy link
Copy Markdown
Member

  • Enable the "Update" button - to "merge from main"
  • Enable "Auto Merge" - to merge automatically if the CI checks pass
  • Enable deletion of the PR branch after merge

- Enable the "Update" button - to "merge from main"
- Enable "Auto Merge" - to merge automatically if the CI checks pass
- Enable deletion of the PR branch after merge
Copilot AI review requested due to automatic review settings March 30, 2026 13:37
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the ASF GitHub repository configuration to allow maintainers to keep pull request branches up to date from the GitHub UI, enable auto-merge when checks pass, and clean up branches after merge.

Changes:

  • Enables “Update branch” support for pull requests.
  • Enables GitHub Auto Merge for pull requests.
  • Enables automatic deletion of head branches after PR merge.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@martin-g martin-g merged commit 79cc884 into main Mar 30, 2026
17 checks passed
@martin-g martin-g deleted the update-branches-from-github-ui branch March 30, 2026 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants