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.

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

gumbo-parser 0.12.1 #183286

Merged
merged 2 commits into from
Sep 4, 2024
Merged

gumbo-parser 0.12.1 #183286

merged 2 commits into from
Sep 4, 2024

Conversation

cho-m
Copy link
Member

@cho-m cho-m commented Sep 3, 2024

This switches to a fork which is widely adopted, e.g. used by Arch Linux, Alpine, Debian, Fedora and MacPorts

Thus this meets https://docs.brew.sh/Acceptable-Casks#not-a-fork-usually


Can see any repository using v0.11.0 or higher below:

Packaging status

This switches to a fork which is widely adopted, e.g. used by
Arch Linux, Alpine, Debian, Fedora and MacPorts
@cho-m cho-m added the ready to merge PR can be merged once CI is green label Sep 3, 2024
@carlocab carlocab added maintainer feedback Additional maintainers' opinions may be needed automerge-skip `brew pr-automerge` will skip this pull request labels Sep 3, 2024
@carlocab carlocab removed the automerge-skip `brew pr-automerge` will skip this pull request label Sep 4, 2024
Copy link
Contributor

github-actions bot commented Sep 4, 2024

🤖 An automated task has requested bottles to be published to this PR.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Sep 4, 2024
@BrewTestBot BrewTestBot added this pull request to the merge queue Sep 4, 2024
Merged via the queue into master with commit 01d12e6 Sep 4, 2024
15 checks passed
@BrewTestBot BrewTestBot deleted the gumbo-parser-fork branch September 4, 2024 06:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. maintainer feedback Additional maintainers' opinions may be needed ready to merge PR can be merged once CI is green
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants