Automatic tagging lost?

[acolomb]

There is no tag v1.23.4 on the docs repo, which in turn doesn't include it in https://github.com/syncthing/docs-pre-rendered. Was that a manual process missed this time, or have the recent build-related changes (GH Actions?) somehow broken the automatic workflows?

[calmh]

There's no automatic tagging, there's just me doing it as part of my release checklist. Or not, apparently.

[acolomb]

So what needs to be done to correct that now? Just place a version tag? What about the automatic st-release commits?

If we don't fix this, docs links from v1.23.4 will always be redirected to "latest".

[calmh]

Hm, shouldn't they ideally go to 1.23.3 as the closest available tag? Might be something to maybe improve on in the future otherwise. Regardless I can push a tag, will do so later.