Request to be made a maintainer - Cobertura plugin

[Zheng Shenyu]

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

[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

[Zheng Shenyu]

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写道：

[slide]

Jeff,

Can we get your approval on https://github.com/jenkins-infra/repository-permissions-updater/pull/1123 please?

Thanks,

Alex

[Zheng Shenyu]

The PR to repository-permissions-updater is merged, but I still don't have access to GitHub repo. Can anybody help me to give me the access permission? Thanks!
在 2019年5月7日星期二 UTC+8上午11:33:00，Zheng Shenyu写道：

[Oleg Nenashev]

Hi Shenyu,

Done, it should be working well now.

BR, Oleg