Skip to content
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.

Sign up for GitHub

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

Jump to bottom

autobump: autobump more formulae #153487

Merged
merged 1 commit into from
Nov 7, 2023
Merged

autobump: autobump more formulae #153487

merged 1 commit into from
Nov 7, 2023

Conversation

chenrui333
Copy link
Member

autobump: autobump more formulae

@chenrui333 chenrui333 requested review from MikeMcQuaid and a team as code owners November 6, 2023 23:50
@chenrui333 chenrui333 added the CI-syntax-only Change only affects brew syntax, not the install. Only run syntax CI. label Nov 6, 2023
@github-actions github-actions bot added workflows PR modifies GitHub Actions workflow files automerge-skip `brew pr-automerge` will skip this pull request labels Nov 6, 2023
@ZhongRuoyu ZhongRuoyu added this pull request to the merge queue Nov 7, 2023
Merged via the queue into Homebrew:master with commit 03309b7 Nov 7, 2023
15 checks passed
@github-actions github-actions bot added the outdated PR was locked due to age label Dec 7, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 7, 2023
@chenrui333 chenrui333 deleted the autobump-20231106 branch January 22, 2024 19:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ZhongRuoyu ZhongRuoyu ZhongRuoyu approved these changes

@MikeMcQuaid MikeMcQuaid Awaiting requested review from MikeMcQuaid MikeMcQuaid is a code owner

Assignees
No one assigned
Labels
autobump automerge-skip `brew pr-automerge` will skip this pull request CI-syntax-only Change only affects brew syntax, not the install. Only run syntax CI. outdated PR was locked due to age workflows PR modifies GitHub Actions workflow files
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@chenrui333 @ZhongRuoyu