spring-projects
Use GitHub action to raise Antora UI version upgrade issue
https://github.com/spring-io/spring-doc-actions?tab=readme-ov-file#update-antora-ui-spring
I'm not sure this is really worth it. AIUI, the action will create a PR which we'd then have to merge. It looks like the PR title and commit message won't match our style so we'd probably end up editing them. I think it'd be just as easy, if not easier, to watch the repo for releases and then do the upgrade manually.
Yeah, I agree. I wonder if we can rip out the logic to tell if there's an update and raise an issue so we don't need to manually watch the repo.
Given how infrequently new versions of the UI are released, I'm going to close this one. Having an action that runs periodically to check for a new version feels like a bit of a waste of resources when there's almost a year between 0.4.18 and 0.4.19 (the latest). We can reconsider if the releases become more frequent and we realise we've missed one.