diff --git a/build0.sh b/build0.sh
index dde14c4959..7218d748b7 100755
--- a/build0.sh
+++ b/build0.sh
@@ -1,7 +1,6 @@
 #!/usr/bin/env bash
 
-set -e
-set -x
+set -ex
 
 # Generate the `version` file
 ci/version.sh
diff --git a/generate_default_tag.sh b/generate_default_tag.sh
new file mode 100755
index 0000000000..b38b4d7239
--- /dev/null
+++ b/generate_default_tag.sh
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+# Run this script when your local repo 
+# #doesn't automatically fetch tags from upstream
+# It allows local development with a mocked tag
+echo "Generating default tag..."
+set -ex
+git tag "v0.0.0=0"