Skip to content

Skip bot incomplete PR closures#22232

Merged
MikeMcQuaid merged 1 commit into
mainfrom
skip-incomplete-pr-bots
May 11, 2026
Merged

Skip bot incomplete PR closures#22232
MikeMcQuaid merged 1 commit into
mainfrom
skip-incomplete-pr-bots

Conversation

@MikeMcQuaid
Copy link
Copy Markdown
Member

Avoid closing Dependabot/BrewTestBot automation PRs that won't use the template (and that's fine)


  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same change?
  • Have you added an explanation of what your changes do and why you'd like us to include them? Performance claims (e.g. "this is faster") must include Hyperfine benchmarks.
  • Have you written new tests (excluding integration tests) for your changes? Here's an example.
  • Have you successfully run brew lgtm (style, typechecking and tests) with your changes locally?

  • AI was used to generate or assist with generating this PR. Please specify below how you used AI to help you, and what steps you have taken to manually verify the changes. Non-maintainers may only have one AI-assisted/generated PR open at a time.

OpenAI Codex 5.5 xhigh with local tweaking and review.


Copilot AI review requested due to automatic review settings May 11, 2026 12:36
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

This PR updates the “incomplete PRs” GitHub Actions workflow to avoid automatically commenting/closing automation-created pull requests that don’t (and shouldn’t be expected to) follow the standard PR template.

Changes:

  • Add job-level conditions to skip running the workflow when the PR author is BrewTestBot or dependabot[bot].

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

@MikeMcQuaid MikeMcQuaid enabled auto-merge May 11, 2026 12:40
- Avoid closing automation PRs that may not use the current template.
@MikeMcQuaid MikeMcQuaid force-pushed the skip-incomplete-pr-bots branch from 7c58721 to 6f2f3f3 Compare May 11, 2026 14:11
@MikeMcQuaid MikeMcQuaid added this pull request to the merge queue May 11, 2026
Merged via the queue into main with commit 10260a0 May 11, 2026
71 of 82 checks passed
@MikeMcQuaid MikeMcQuaid deleted the skip-incomplete-pr-bots branch May 11, 2026 15:34
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.

3 participants