FYI: I was added now. Many thanks!
On Tuesday, August 11, 2015 at 12:49:31 PM UTC+2, [email protected] wrote: > > Hi there, > > I created some pull request for the maven-metadata-plugin > <https://github.com/jenkinsci/maven-metadata-plugin> repository. The > owner of the plugin now informed me that he can hardly maintain it anymore. > He suggest that I ask for contributor rights and merge and release to PRs > myself. Please see his comment on one of the pull requests > <https://github.com/jenkinsci/maven-metadata-plugin/pull/7#issuecomment-127273922> > . > > Can anybody provide me with contributor rights for that plugin? What do I > need to do to get them? BTW: My GitHub account is marcrohlfs > <https://github.com/marcrohlfs>. > > Many thanks in advance! > > Kind regards > > Marc > -- 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/1c73620e-bd9b-4bd1-8902-b25dfa82a0f0%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
