Hello, I’ve created pull request for custom-tools plugin: https://github.com/jenkinsci/customtools-plugin/pull/2 . After two-week timeout, I’ve sent e-mails to plugin owners, but haven’t received response after additional week :(
Currently I’m working on support of tool’s multiple versions in the plugin. Therefore, I’d like to temporarily take plugin ownership and merge existing pull requests on my own. Is it OK in case of the custom-tools plugin? Best regards, Oleg Nenashev R&D Engineer, Synopsys Inc. www.synopsys.com -- 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]. For more options, visit https://groups.google.com/groups/opt_out.
