Francisco d6954f17b5 Fix release tagging (#4646) ...

(cherry picked from commit 5d43060cdc)

2023-10-03 15:46:36 -03:00

..

exit-prerelease.sh

…

github-release.js

…

integrity-check.sh

…

pack.sh

…

publish.sh

…

rerun.js

…

set-changesets-pr-title.js

…

start.sh

…

state.js

…