internal: Support multiple stable releases in one day - #23108

r? @Veykril

FWIW, I'd like to merge this today and cut a new release because the original one is bugged, and it's a good opportunity to test it.

Draft run here, without any release assets.

I have reviewed and mostly understood it.

Normally this wouldn't be enough, but nobody fully understands GitHub's YAML and bash, so...

I don't feel qualified to review this myself though.

I think I understand the AWK script, but I've almost never written AWK so..

If you're not married to awk, I think that's easier to understand:

last_tag="$(git tag -l "${today}*" | sort | tail -n1)"
if [ "$last_tag" ]; then
    last_v=$(echo "$last_tag" | grep -oP '(?<=\.)\d+' || echo 0)
    new_v=$(($last_v + 1))
    tag="${today}.${new_v}"
else
    tag="$today"
fi

I think that's easier to understand

I'm not sure, but I switched to your version, changed to if [ -n ... ] and sort -V. I hope we won't have 10 releases in one day though.