Be able to merge on core

26 views
Skip to first unread message

Manuel Ramón León Jiménez

unread,
Jan 2, 2019, 5:02:39 AM1/2/19
to Jenkins Developers

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:
I'm also a maintainer of two plugins (plugin-apache-httpcomponents-client-4-api and plugin-jdk-tool).

My user id in all systems (github, jenkins jira, ...) is: mramonleon

Thank you, kind regards.

Baptiste Mathus

unread,
Jan 2, 2019, 11:51:01 AM1/2/19
to Jenkins Developers
I agree with this request.

Ramon has helped a lot also recently on ATH and a few other components, many reviewed and merged by Oliver. So I believe this request is reasonable.

--
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-de...@googlegroups.com.
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.

Jeff Thompson

unread,
Jan 3, 2019, 2:04:35 PM1/3/19
to jenkin...@googlegroups.com
+1

Ramón has been contributing lots of great work in authoring and reviewing PRS and other efforts.

Jeff Thompson

Reply all
Reply to author
Forward
0 new messages