This is going through Jetbrains Marketplace moderation now. On Tuesday, August 23, 2022 at 3:56:25 AM UTC+10 Mark Waite wrote:
> Governance board discussed it today and agreed that since it is a > community project, "Jenkins Development Support" is approved. > > Mark Waite > > On Wednesday, August 17, 2022 at 9:09:54 PM UTC-6 Denys Digtiar wrote: > >> It is an open source project hosted in jenkinsci github org and >> distributed by https://plugins.jetbrains.com/organizations/jenkins >> Jenkins Jetbrains Marketplace Organization. >> If community projects don't need trademark clearance, does it mean this >> change to the IntelliJ plugin doesn't need clearance either? How does it >> sound? >> >> On Monday, August 15, 2022 at 4:39:30 PM UTC+10 [email protected] >> wrote: >> >>> https://www.jenkins.io/project/trademark/ >>> >>> You shouldn't need approval for most cases though looking over the >>> examples I'm not sure how they could apply for you. >>> >>> "Idea plugin for Jenkins development" feels like it is along those lines >>> >>> On Sun., Aug. 14, 2022, 11:18 p.m. 'Denys Digtiar' via Jenkins >>> Developers, <[email protected]> wrote: >>> >>>> https://github.com/jenkinsci/idea-stapler-plugin/issues/43 >>>> I kept this issue In Progress for almost a year now 😓 >>>> It is not hard to do and brings nothing functional to you. It just >>>> aligns the name more with what this plugin should probably do, i.e. >>>> include >>>> any feature useful for Jenkins or Jenkins plugin development. >>>> That said, Jenkins is a trademark, so does it mean such rename would >>>> need a trademark clearance and attribution? >>>> Any opinions, ideas, suggestions? >>>> >>>> -- >>>> 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/8f66b83e-747a-4cfe-8cc2-18116aea8e5bn%40googlegroups.com >>>> >>>> <https://groups.google.com/d/msgid/jenkinsci-dev/8f66b83e-747a-4cfe-8cc2-18116aea8e5bn%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- 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/05a8983f-f730-4d74-9ce4-b90d01ba2a55n%40googlegroups.com.
