+1, would love this. On Fri, Feb 9, 2024, 10:04 David Arthur <mum...@gmail.com> wrote:
> Hey folks, > > I recently learned about Github's Merge Queue feature, and I think it could > help us out. > > Essentially, when you hit the Merge button on a PR, it will add the PR to a > queue and let you run a CI job before merging. Just something simple like > compile + static analysis would probably save us from a lot of headaches on > trunk. > > I can think of two situations this would help us avoid: > * Two valid PRs are merged near one another, but they create a code > breakage (rare) > * A quick little "fixup" commit on a PR actually breaks something (less > rare) > > Looking at our Github stats, we are averaging under 40 commits per week. > Assuming those primarily come in on weekdays, that's 8 commits per day. If > we just run "gradlew check -x tests" for the merge queue job, I don't think > we'd get backlogged. > > Thoughts? > David > > > > > -- > David Arthur >
