> Can we use daniel-beck-bot to update each repo with proper <url> to github page as described https://jenkins.io/doc/developer/publishing/documentation/ ? That way we easily inform developers that documentation should be migrated.
<url> is only processed from the released metadata, so updating github doesn't really help that much. Plus in theory they should also update README.md I would like to see this automated, but I think we need more discovery first. On Fri, Oct 25, 2019 at 2:11 PM Damian Szczepanik < [email protected]> wrote: > > Should we either temporarily re-enable access to edit, or provide a way to >> access markup code? >> >> Can we use daniel-beck-bot to update each repo with proper <url> to > github page as described > https://jenkins.io/doc/developer/publishing/documentation/ ? That way we > easily inform developers that documentation should be migrated. > > How about installations stats - would it be possible to have trends put on > the github README file? For example my new plugin does not have it > https://plugins.jenkins.io/build-history-manager and I don't know if this > is plugin problem or result of RO state. > > Damian > > -- > 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/7032ad87-2e91-4c9b-b0c6-ce958cb2d8fc%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/7032ad87-2e91-4c9b-b0c6-ce958cb2d8fc%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/CAAgr96%2BZh_t-O%2BEO4t4z0e3U6S5RQrwWhCCc_wzCUenQXnAMOA%40mail.gmail.com.
