GitHub Actions publish flow

ghaction-publish.md

Assuming

1. Latest version is v1
2. Real underlying version is v1.0.0
3. A new release is to be published at v1.0.1 and v1

Steps

1. Push commits
2. Create new release for v1.0.1
3. In local repo, update the v1 tag:

# Remove v1 tag
$ git tag -d v1

# Add new v1 tag
$ git tag v1 <commit-sha>

# Push changes
$ git push -f --tags

Done!