Request to change Maintainer

Ken Dang

unread,

Feb 13, 2014, 5:54:11 PM2/13/14

to jenkin...@googlegroups.com

Is it possible to change the Maintainer of the Coverity Plugin. The current maintainer no longer works for the company, and I would be taking over development on this plugin.

So that would also mean I would need pull and commit permissions also.

- Ken Dang

Ulli Hafner

unread,

Feb 14, 2014, 4:27:43 AM2/14/14

to jenkin...@googlegroups.com

Without your user name it is quite hard to change the ownership ;-)

--
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-de...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

signature.asc

Ken Dang

unread,

Feb 14, 2014, 1:46:17 PM2/14/14

to jenkin...@googlegroups.com

Sorry about that. My github user name is coverity-kdang and my jenkins username is kdang

Thank you.

Ulli Hafner

unread,

Feb 17, 2014, 5:40:55 AM2/17/14

to jenkin...@googlegroups.com

Done.

Welcome aboard!

Ulli

signature.asc

Franco Rossi

unread,

Jun 30, 2015, 6:18:54 PM6/30/15

to jenkin...@googlegroups.com

Hi,

I also need authorization for Jenkins. My user is frossi and my email fro...@coverity.com

- Franco

Reply all

Reply to author

Forward