On Tue, Jul 1, 2025 at 5:10 PM Baptiste Mathus <[email protected]> wrote:
> I think this is extremely powerful to use drive-by-PR changes for > jenkins.io, and I have a hard time picturing us going back to using some > CMS or so? > I'm sure this means "No Jenkins version dropdown on the rendered site" instead of going back to Drupal. See e.g. the version dropdown on docs.github.com. -- 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 visit https://groups.google.com/d/msgid/jenkinsci-dev/CAMo7PtJ66NeUeOoHgAUEjkofmF48skxhooJc3EO4iQSg%3DuuvVQ%40mail.gmail.com.
