I interpret Stephen's response as "I don't object". In such case I confirm that I am fine with the request. Even if a request about this product occasionally lands in Jenkins JIRA, we can close them and refer to this thread.
with all the typical caveats about CloudBees, Inc. having a responsibility > to ensure the trademark attribution Sure. Sometimes I discover improper usages on various 3rd-party resources (especially "CloudBees Jenkins"), but all ones I report get resolved quickly. So from my PoV CloudBees delivers on that well. BR, Oleg On Friday, March 9, 2018 at 7:33:55 PM UTC+1, R Tyler Croy wrote: > > (replies inline) > > On Wed, 07 Mar 2018, Kohsuke Kawaguchi wrote: > > > On behalf of CloudBees, I???d like to request the permission to use the > > following name that uses ???Jenkins??? in it: > > > > - CloudBees Jenkins Metrics > > > > To help people understand how this name is going to be used, let me > > describe a bit about the effort for which we???d like to use this name. > > > From my perspective, this sublicense request looks reasonable to me, with > all > the typical caveats about CloudBees, Inc. having a responsibility to > ensure the > trademark attribution, etc, etc. > > While I think it is excessive and silly to name things in this manner, > with > more syllables than I can count on one hand, that's not objectionable for > our > trademark sublicenses. :) > > > > Cheers > - R. Tyler Croy > > ------------------------------------------------------ > Code: <https://github.com/rtyler> > Chatter: <https://twitter.com/agentdero> > xmpp: [email protected] <javascript:> > > % gpg --keyserver keys.gnupg.net --recv-key 1426C7DC3F51E16F > ------------------------------------------------------ > -- 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/0f702142-d543-4701-9860-c1fdbd5d2939%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
