We've got +1s from most of the active Jenkins core maintainers. I went ahead and added Basil to the Jenkins core team. Thanks to everyone for the votes!
On Thu, Sep 23, 2021 at 11:08 AM Raihaan Shouhell <raihaanhims...@gmail.com> wrote: > +1 he has been leading the charge on a variety of improvements > > On Thu, Sep 23, 2021, 4:25 PM Baptiste Mathus <m...@batmat.net> wrote: > >> +1. IMO Basil is wayyyy past the minimum criteria to get this status. >> >> Le mer. 22 sept. 2021 à 11:14, Oleg Nenashev <o.v.nenas...@gmail.com> a >> écrit : >> >>> Dear all, >>> >>> Basil has been a very active contributor to the Jenkins core since 2020, >>> and he has contributed a lot to Jenkins over the past several years. He is >>> an active community member, and he helps a lot with the technical debt >>> cleanup and code reviews in Jenkins. >>> >>> It would be great to have Basil joining the Jenkins core maintainers >>> team. I propose to officially add Basil to the Jenkins core team. IMHO the >>> code reviewer stage can be skipped, because he has been already >>> contributing a lot to the reviews. Opinions/votes? >>> >>> References: >>> >>> - https://github.com/basil >>> - Jenkins core maintainers team and ladder: >>> >>> https://github.com/jenkinsci/jenkins/blob/master/docs/MAINTAINERS.adoc#team >>> >>> Best regards, >>> Oleg Nenashev >>> >>> -- >>> 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 jenkinsci-dev+unsubscr...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/jenkinsci-dev/0c920f79-f7b7-4299-92d7-15a814821632n%40googlegroups.com >>> <https://groups.google.com/d/msgid/jenkinsci-dev/0c920f79-f7b7-4299-92d7-15a814821632n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> 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 jenkinsci-dev+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS55rBhwXNumbJL2rLRa1cc4h%2BpjLgiM00n%2BByBLsxf9fw%40mail.gmail.com >> <https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS55rBhwXNumbJL2rLRa1cc4h%2BpjLgiM00n%2BByBLsxf9fw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > You received this message because you are subscribed to a topic in the > Google Groups "Jenkins Developers" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/jenkinsci-dev/FpxsrxAgycA/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > jenkinsci-dev+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CAFoxvgy%3D%3Dx0C6nibxugptU_Mm3p2zaKHNdn%3Dv6%3D7yBpwPDsSOw%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAFoxvgy%3D%3Dx0C6nibxugptU_Mm3p2zaKHNdn%3Dv6%3D7yBpwPDsSOw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPfivLC4f%2BFvK7N2sTzL0qkPPSNQO%3DPNPPcjBDEsms--8K0SSw%40mail.gmail.com.