+1 Ramón has been contributing lots of great work in authoring and reviewing PRS and other efforts.
Jeff Thompson > On Jan 2, 2019, at 9:50 AM, Baptiste Mathus <[email protected]> wrote: > > I agree with this request. > > Ramon has helped a lot also recently on ATH and a few other components > <https://github.com/pulls?q=is%3Apr+author%3Amramonleon+archived%3Afalse+is%3Aclosed>, > many reviewed and merged by Oliver. So I believe this request is reasonable. > > Le mer. 2 janv. 2019 à 11:02, Manuel Ramón León Jiménez > <[email protected] > <mailto:[email protected]>> a écrit : > > 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/3816> > https://github.com/jenkinsci/jenkins/pull/3769 > <https://github.com/jenkinsci/jenkins/pull/3769> > https://github.com/jenkinsci/jenkins/pull/3768 > <https://github.com/jenkinsci/jenkins/pull/3768> > https://github.com/jenkinsci/jenkins/pull/3718 > <https://github.com/jenkinsci/jenkins/pull/3718> > https://github.com/jenkinsci/jenkins/pull/3695 > <https://github.com/jenkinsci/jenkins/pull/3695> > https://github.com/jenkinsci/jenkins/pull/3648 > <https://github.com/jenkinsci/jenkins/pull/3648> > PRs reviewed in core: > https://github.com/jenkinsci/jenkins/pull/3786 > <https://github.com/jenkinsci/jenkins/pull/3786> > https://github.com/jenkinsci/jenkins/pull/3795 > <https://github.com/jenkinsci/jenkins/pull/3795> > https://github.com/jenkinsci/jenkins/pull/3797 > <https://github.com/jenkinsci/jenkins/pull/3797> > https://github.com/jenkinsci/jenkins/pull/3807 > <https://github.com/jenkinsci/jenkins/pull/3807> > https://github.com/jenkinsci/jenkins/pull/3804 > <https://github.com/jenkinsci/jenkins/pull/3804> > https://github.com/jenkinsci/jenkins/pull/3815 > <https://github.com/jenkinsci/jenkins/pull/3815> > https://github.com/jenkinsci/jenkins/pull/3818 > <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] > <mailto:[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 > > <https://groups.google.com/d/msgid/jenkinsci-dev/7fedc96c-5b22-4234-a2b5-b7afd5dc688a%40googlegroups.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. > > -- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS7yLsQ3zYav%2BmktD-cu07_Q20Uu1ePAQogZxbmgkDzppw%40mail.gmail.com > > <https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS7yLsQ3zYav%2BmktD-cu07_Q20Uu1ePAQogZxbmgkDzppw%40mail.gmail.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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/D7B2A5B8-E4C5-434D-B251-B966FFD82B85%40cloudbees.com. For more options, visit https://groups.google.com/d/optout.
