On 23 Mar 2021, at 21:46, Gernot Heiser <gernot@unsw.edu.au> wrote:
To me, the priorities are: - someone to run the shop, 1d/w of June would be awesome - a support person to maintain testing/CI infrastructure - an engineer to deal with community and PRs
I agree with all of these, apart from PRs. The point that Kent raised at the TSC meeting is correct: having someone whose official paid responsibility is to handle pull requests will inhibit TSC members and reviewers from contributing their time, which is dangerous because we want the experts to look at code contributions. We should instead eliminate the overhead we currently have for handling PRs, and by the end of the week we'll hopefully have done most of that. Engagement on GitHub is currently quite high, so we should be able to see fairly soon if removing the overhead makes a substantial difference or not. Having someone who has time to answer community questions and help with writing high-quality documentation would definitely be very useful, though. Cheers, Gerwin