Jeff, Can we get your approval on https://github.com/jenkins-infra/repository-permissions-updater/pull/1123 please?
Thanks, Alex On Tuesday, May 7, 2019 at 8:18:53 PM UTC-7, Zheng Shenyu wrote: > > Thanks~ I have submitted a PR - > https://github.com/jenkins-infra/repository-permissions-updater/pull/1123 > > 在 2019年5月7日星期二 UTC+8下午10:47:42，Jeff写道： >> >> I'm one of the maintainers of the Cobertura plugin, and Shenyu has spoken >> to me about this. I think it's a great idea to have an additional >> maintainer, and ShenYu has done lots of code coverage related work in the >> past, including authoring the code coverage API plugin during last summer's >> Google Summer of Code. >> >> Shenyu, please submit a PR to >> https://github.com/jenkins-infra/repository-permissions-updater to add >> yourself. >> >> All the best >> Jeff >> >> On Mon, May 6, 2019 at 8:32 PM Zheng Shenyu <[email protected]> wrote: >> >>> Hi all, >>> >>> I want to be the maintainer of the Cobertura plugin >>> https://github.com/jenkinsci/cobertura-plugin. >>> >>> There are several issues about Cobertura in Code Coverage API plugin: >>> >>> - https://github.com/jenkinsci/code-coverage-api-plugin/issues/69 >>> - https://github.com/jenkinsci/code-coverage-api-plugin/issues/79 >>> - https://github.com/jenkinsci/code-coverage-api-plugin/issues/80 >>> >>> In order to fix them, I need to change or add some codes to the >>> Cobertura plugin. Also, there might be more issues about Cobertura in the >>> future. So If I can be the maintainer I can fix them easier. >>> >>> I am familiar with the codes of the Cobertura plugin, so I can also do >>> some other improvements. >>> >>> My GitHub username is https://github.com/cizezsy >>> My Jenkins Infrastructure ID is cizezsy >>> >>> Thanks, >>> Shenyu Zheng >>> >> -- 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/e5bfbfb6-4ade-4ec7-af5c-beaf2c3aa810%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
