https://github.com/jenkins-infra/plugin-site/pull/130 for the plugin site update
On Tuesday, February 18, 2020 at 10:05:40 AM UTC+1, Oleg Nenashev wrote: > > Yes, plugin site is something I will be doing (see the comments above). > The problem is rather with GitHub repositories and direct access to them. > In this case a badge could improve visibility of the adoption status. > We could serve a badge from the plugin site for that, but IMHO it is a > separate topic. > > BR, Oleg > > > On Tue, Feb 18, 2020 at 10:02 AM Tim Jacomb <[email protected]> wrote: > >> The badge could be automatically added on the plugin site if one of the >> adopt topics is added to the GitHub repo? >> >> On Tue, 18 Feb 2020 at 08:01, Ivan Fernandez Calvo < >> [email protected]> wrote: >> >>> Sure, the badge is something additional, >>> something that users can see when they go to the documentation, then >>> they can decide >>> if they want to use a plugin in adoption. >>> >>> -- >>> 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/7e802140-b00c-4ccc-adcf-c84be95ab610%40googlegroups.com >>> . >>> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "Jenkins Developers" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/jenkinsci-dev/UoEqG5AaWJU/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BicYmYzqjqo7TbOogb5LhuNBNtgmWcgd2Ld8C65aJduzbQ%40mail.gmail.com >> >> <https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BicYmYzqjqo7TbOogb5LhuNBNtgmWcgd2Ld8C65aJduzbQ%40mail.gmail.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/4b79681a-3dc1-4af5-a4f3-d816e5b07ba3%40googlegroups.com.
