diff --git a/scripts/rename_cura_1_tags.sh b/scripts/rename_cura_1_tags.sh old mode 100644 new mode 100755 index 8391ed08c2..624bd28d82 --- a/scripts/rename_cura_1_tags.sh +++ b/scripts/rename_cura_1_tags.sh @@ -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 \ No newline at end of file +done