diff --git a/git-tag-version.sh b/git-tag-version.sh
new file mode 100755
index 0000000000..6d1d3673d7
--- /dev/null
+++ b/git-tag-version.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# Tag the master and debian branch HEADs with the version in ./VERSION,
+# according to format specified in ./debian/gbp.conf
+
+VERSION=$(cat VERSION | tr -d '\n')
+
+# Retag master and debian
+git tag -f -a master/${VERSION} master -m "Tagged master branch with version $version"
+#git tag -f -a debian/${VERSION} debian -m "Tagged debian branch with version $version"