> 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.
