On Tuesday, May 6, 2025 at 8:45:52 AM UTC-6 Stephane wrote:
I randomly selected a Jenkins plugin (Pipeline Graph View) and I could see that both lists are not in sync: - https://github.com/jenkinsci/pipeline-graph-view-plugin/releases: GitHub releases have always been with detailed logs and fancy icons since the beginning. - https://plugins.jenkins.io/pipeline-graph-view/releases: Jenkins releases have been basic from the beginning to 489.* and changed to detailed logs and fancy icons since 491.* only. How does it work? It does not seem automatic? Is there some doc about that? The "Improve this page" link at the bottom of the plugins site <https://plugins.jenkins.io> links to the GitHub repository <https://github.com/jenkins-infra/plugin-site/tree/main> that implements the plugins site. The plugins site is generated every 6 hours. The plugins site collects documentation, release history, and usage data into a static site that is published as https://plugins.jenkins.io Mark Waite -- 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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/jenkinsci-dev/e67d492d-2298-43c1-b092-193ac5b2a903n%40googlegroups.com.