If he is interested, absolutely +1! By the way there are a number of people in https://github.com/orgs/jenkinsci/teams/core/members who are no longer active in the Jenkins community and who should likely be removed.
-- 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/CANfRfr1LBpJMXE%2BDrey0-rxrJZf6SDoMn8zGuBurRWjE-%3DD9eQ%40mail.gmail.com.
