2024 11 automatically tag releases

[45930]

After releasing a new version to NPM, tag that version on githb

[Trivo25]

this is probably obsolete then and we can remove it

o1js/.github/workflows/release.yml

Lines 63 to 66 in a0f0f34

	if git rev-parse $NEW_VERSION >/dev/null 2>&1; then
	git tag -d $NEW_VERSION
	git push origin :refs/tags/$NEW_VERSION
	fi