Many thanks.

I saw most people do it that way, but thought acting on a particular tag of release might be a better practice. How do you attach a tag to a push? Is this what you do on git push origin --tag .... or on PR?

This is basically how I do it:

git tag v1.2.3
git push origin v1.2.3

I believe that creating a release from the GitHub web UI also triggers a tag push, as long as the tag didn't already exist.

That's helpful, thanks!

I usually do it like this

git tag -a v.1.2.3 -m "feat: changed something" 
git push origin v1.2.3

I don't know whether it's best practice or not, but usually I do git tag like this.
In this case, I need to trigger the previous Github Action for revert release.

# Checkout to the specified tag that needs to be release as a revert action
git checkout release/v1.2.0

# Create new tag from it
git tag release/v1.2.0-revert

# Push the new tag in order to trigger Github Action
git push origin tag release/v1.2.0-revert