Based on all the feedback, as documentation officer I approve Kevin's membership in the copy editors group.
I'll open a help desk ticket to have the infra team add him as a member. On Friday, September 16, 2022 at 11:29:03 AM UTC-6 [email protected] wrote: > +1! > > On Thursday, September 15, 2022 at 9:32:26 PM UTC+2 Bruno Verachten wrote: > >> He totally deserves this. >> > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/e97b9966-8cae-42db-bd40-d146c337f32cn%40googlegroups.com.
