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写道： > > 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/77b57924-20b6-485f-b1ec-80cebcaab12c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
