Hello guys, happy new year. I'm working at CloudBees on the open source size and due to the limited bandwith from Oleg and to gain more velocity in some developments, specially on *java11*, I believe it could be interesting that you allow me to have write permission on Jenkins core and jenkins infra github repos to be able to merge some PRs.
If it helps: I've being contributing with some PRs already merged to the core as well as reviewed some other ones: - PRs merged into core: - https://github.com/jenkinsci/jenkins/pull/3816 - https://github.com/jenkinsci/jenkins/pull/3769 - https://github.com/jenkinsci/jenkins/pull/3768 - https://github.com/jenkinsci/jenkins/pull/3718 - https://github.com/jenkinsci/jenkins/pull/3695 - https://github.com/jenkinsci/jenkins/pull/3648 - PRs reviewed in core: - https://github.com/jenkinsci/jenkins/pull/3786 - https://github.com/jenkinsci/jenkins/pull/3795 - https://github.com/jenkinsci/jenkins/pull/3797 - https://github.com/jenkinsci/jenkins/pull/3807 - https://github.com/jenkinsci/jenkins/pull/3804 - https://github.com/jenkinsci/jenkins/pull/3815 - https://github.com/jenkinsci/jenkins/pull/3818 I'm also a maintainer of two plugins ( plugin-apache-httpcomponents-client-4-api <https://github.com/jenkins-infra/repository-permissions-updater/blob/c36791fe566600eb60d0e74e12014ab913e8fe03/permissions/plugin-apache-httpcomponents-client-4-api.yml> and plugin-jdk-tool <https://github.com/jenkins-infra/repository-permissions-updater/blob/65d87d830348fb504ce28f10982c9baafb3c02a9/permissions/plugin-jdk-tool.yml> ). My user id in all systems (github, jenkins jira, ...) is: *mramonleon* Thank you, kind regards. -- 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/7fedc96c-5b22-4234-a2b5-b7afd5dc688a%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
