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/CADVhPTonSEr0nMHuFyu5jteTPhaDx8iiX%3DaYF7MWegqwPphg7A%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
