Hi Shenyu, Done, it should be working well now.
BR, Oleg On Thursday, May 9, 2019 at 7:05:23 AM UTC+2, Zheng Shenyu wrote: > > 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/1824a925-054c-41e9-bf8f-9cf4c12498cc%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
