You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Sep 26, 2025. It is now read-only.
It's a bit disconcerting to see PRs closed as unmerged when, in fact, they were merged. Compare with a PR that was just merged successfully to Homebrew/brew coincidentally:
Couldn't the workflow update the files with bottle info in the PR then merge the PR?