Skip to content

Conversation

@MikeMcQuaid
Copy link
Member

Needed for Homebrew/brew#20244

@github-actions github-actions bot added the automerge-skip `brew pr-automerge` will skip this pull request label Jul 14, 2025
@MikeMcQuaid MikeMcQuaid enabled auto-merge July 14, 2025 16:35
@MikeMcQuaid MikeMcQuaid added the CI-no-bottles Merge without publishing bottles label Jul 14, 2025
@MikeMcQuaid MikeMcQuaid added this pull request to the merge queue Jul 14, 2025
Merged via the queue into main with commit 779e360 Jul 14, 2025
30 checks passed
@MikeMcQuaid MikeMcQuaid deleted the fix_style branch July 14, 2025 16:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automerge-skip `brew pr-automerge` will skip this pull request CI-no-bottles Merge without publishing bottles

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants