More classes of maintainer

[Joshua Root]

On 6/11/2023 05:57, Perry E. Metzger wrote:
> On 11/5/23 13:36, Joshua Root wrote:
>> There has been an increase in commit volume in more recent years, but 
>> it certainly didn't coincide with the GitHub migration in 2016.
>>
> Put it differently: I do a lot of merges of updates from random people 
> to the repository, and I'd probably be doing none of it if I couldn't do 
> the code review, CI checks, etc. cleanly and easily inside of Github. 
> Modern development tools make a lot of stuff ever so much easier.

I don't disagree that PRs are a smoother workflow for some common cases. 
You don't have to sell GitHub for this, we already decided to use it. :)

If we did ever decide to switch platforms, it would almost certainly be 
to something with equivalent functionality.

> Perhaps it took a while from the repository transfer until people got 
> the hang of things so the increase wasn't synchronous, but I really 
> don't think anyone would sanely want to go back. It's much better now.

It's really impossible to draw any conclusions about causality here; 
there are too many confounding factors just for starters (like a pandemic.)

- Josh