Fix bad bug in make_tag.sh

Before, this could corrupt the git repo.
corneliusweig · Feb 25, 2019 · ef89784 · ef89784
1 parent cffdb9f
commit ef89784
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hack/make_tag.sh b/hack/make_tag.sh
@@ -23,7 +23,7 @@ echo -n "Please enter the new tag: "
 read -r NEW_TAG
 
 
-find . -type f -not \( -path './hack/*' -o -path './.github/*' -o -path './out/*' -o -path './doc/releases/*' \) -print0 |
+find . -type f -not \( -path './.git/*' -o -path './hack/*' -o -path './.github/*' -o -path './out/*' -o -path './doc/releases/*' \) -print0 |
     xargs -0 sed -i "s:${OLD_TAG}:${NEW_TAG}:g"
 
 echo "Please check what has changed:"