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 <zsy19...@gmail.com> 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 jenkinsci-dev+unsubscr...@googlegroups.com. 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.
