-
-
Notifications
You must be signed in to change notification settings - Fork 8.6k
[build] auto merge browser version updates if they pass all checks #16991
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: trunk
Are you sure you want to change the base?
Conversation
PR Compliance Guide 🔍Below is a summary of compliance checks for this PR:
Compliance status legend🟢 - Fully Compliant🟡 - Partial Compliant 🔴 - Not Compliant ⚪ - Requires Further Human Verification 🏷️ - Compliance label |
|||||||||||||||||||||||||
PR Code Suggestions ✨Explore these optional code suggestions:
|
|||||||||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull request overview
Adds automation so the scheduled “Pin Browsers” workflow will enable auto-merge on the pinned-browser-updates PR (and delete the branch) once required checks pass, reducing manual maintenance for routine browser version bumps.
Changes:
- Capture the PR number when creating a new pinned-browser-updates PR (or reuse the existing PR number).
- Enable auto-merge for that PR and delete the branch after merge.
.github/workflows/pin-browsers.yml
Outdated
| --body $'This is an automated pull request to update pinned browsers and drivers\n\nMerge after verify the new browser versions properly passing the tests and no bugs need to be filed' \ | ||
| --json number --jq '.number') | ||
| fi | ||
| gh pr merge "$pr" --auto --merge --delete-branch |
Copilot
AI
Jan 24, 2026
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
gh pr merge is using --merge, but this repo’s documented convention is to squash PRs into trunk (see AGENTS.md:71). Using merge commits may fail if merge commits are disabled in repo settings and it also breaks the expected history style. Consider switching to --squash (or omit the method flag if squash is the repo default).
User description
These end up sitting out there. Shouldn't be any reason not to merge them if everything is passing.
💥 What does this PR do?
💡 Additional Considerations
Anything else we want to auto-commit? 😀
🔄 Types of changes
PR Type
Enhancement
Description
Auto-merge browser version update PRs after tests pass
Capture PR number from creation for merge operation
Delete branch automatically upon successful merge
Diagram Walkthrough
flowchart LR A["Check existing PR"] --> B{"PR exists?"} B -->|Yes| C["Use existing PR number"] B -->|No| D["Create new PR and capture number"] C --> E["Auto-merge PR with delete-branch"] D --> EFile Walkthrough
pin-browsers.yml
Add auto-merge logic for browser update PRs.github/workflows/pin-browsers.yml
operation
tests pass