| 02:31 | <Michael Ficarra> | yes, that is also something we should be able to solve soon using GitHub Actions |
| 02:51 | <ljharb> | ljharb do you think you could publish a |
| 02:52 | <ljharb> | "just merge it" easier said than done. 9 PRs currently "ready to merge". |
| 02:52 | <jmdyck> | yay, then I have the fun of rebasing all my branches. |