https://github.com/jenkins-infra/helpdesk/issues/3139 has been opened and completed. Thanks!
On Monday, September 19, 2022 at 3:07:03 PM UTC-6 Mark Waite wrote: > 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 Herve 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/04c3ec75-2d26-43da-bb5a-7554473227f1n%40googlegroups.com.
