Hey Mike, From what I can tell, there's a wide variety of PRs from different contributors, so they need to be reviewed individually to make sure they are of proper quality, still make sense and don't break anything :)
Not sure how the merge permissions work (you should definitely have the ability to do anything). But as a workaround, you can always pull each PR to a local branch, merge to master and push to the Apache repo. Andrus > On Sep 11, 2025, at 10:05 PM, Michael Gentry <[email protected]> wrote: > > I was looking at the PR requests on GitHub while working on the board > report and there are 31 dangling out there, some going back to 2018. I > don't have permissions to merge, etc, but feel we should probably try to > deal with some of these. > > Thoughts? > > Thanks, > mrg
