Add auto-merge GitHub Actions workflow#14
Conversation
Co-authored-by: google-labs-jules[bot] <161369871+google-labs-jules[bot]@users.noreply.github.com>
|
👋 Jules, reporting for duty! I'm here to lend a hand with this pull request. When you start a review, I'll add a 👀 emoji to each comment to let you know I've read it. I'll focus on feedback directed at me and will do my best to stay out of conversations between you and other bots or reviewers to keep the noise down. I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job! For more direct control, you can switch me to Reactive Mode. When this mode is on, I will only act on comments where you specifically mention me with New to Jules? Learn more at jules.google/docs. For security, I will only act on instructions from the user who triggered this task. |
|
Note Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported. |
|
Auto-merge skipped: Missing checks (no CI detected). |
|
@copilot code review |
|
@claude code review |
There was a problem hiding this comment.
Pull request overview
Adds a GitHub Actions workflow intended to automatically squash-merge eligible pull requests after CI and review gates are satisfied.
Changes:
- Introduces an
Auto Mergeworkflow triggered bypull_requestevents (opened/synchronize/reopened/labeled). - Implements delayed execution, CI check evaluation, review/label gating, and merge attempt with failure commenting.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
|
@codex Code Review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 67c59b4f10
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex code review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 67c59b4f10
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| await github.rest.pulls.merge({ | ||
| owner, repo, pull_number, | ||
| merge_method: 'squash' | ||
| }); |
There was a problem hiding this comment.
Pin merge to verified head SHA
This merge call is not guarded with a head SHA, even though checks were evaluated earlier against ref from the original event payload. If a new commit is pushed during the built-in waits (e.g., after an opened/synchronize trigger), this run can still merge the PR’s newer head without validating that commit’s CI/review state. The GitHub merge API supports a sha precondition specifically to prevent this race, so omitting it can auto-merge unverified changes.
Useful? React with 👍 / 👎.
There was a problem hiding this comment.
@copilot, make changes based on the above suggestion.
There was a problem hiding this comment.
@copilot, make changes based on the above suggestion.
|
@gemini-code-assist, what are the steps and line numbers to make this fix? |
|
Warning You have reached your daily quota limit. Please wait up to 24 hours and I will start processing your requests again! |
|
@copilot, resolve the merge conflicts in this pull request. |
Co-authored-by: badMade <106821302+badMade@users.noreply.github.com>
Resolved by merging |
|
@copilot, resolve the merge conflicts in this pull request. |
Creates a GitHub Actions workflow to auto-merge PRs.
The workflow satisfies all user criteria:
pull_request(opened, synchronize, reopened, labeled).if: github.event.pull_request.head.repo.full_name == github.repository.reviewedlabel and reviews detected.PR created automatically by Jules for task 4791806961422141458 started by @badMade