revert changes to tag script

This commit is contained in:
jspijker 2022-10-05 09:34:11 +02:00
parent d9d2488501
commit 9bb1383da2

2
scripts/rename_cura_1_tags.sh Normal file → Executable file
View file

@ -11,4 +11,4 @@ do
git tag -d $i; #Delete old tag.
git push origin 1.$i :$i #Rename the tag remotely too.
fi
done
done