Fix the release workflow

[rdipardo]

I guess the tag trigger event doesn't pull any branches, so there's no place to commit the updated Markdown files during the release workflow; see the build log, especially:

fatal: You are not currently on a branch.
To push the history leading to the current (detached HEAD)
state now, use

    git push origin HEAD:<name-of-remote-branch>

To fully validate the fix, you have to push a new tag. See this example of a successful run.

[chcg]

@rdipardo Fixed by ff8b9e1 and 2d2e364 , thanks for the hint and starting point for the fix.