1 files changed, 7 insertions, 0 deletions
diff --git a/contrib/publish-prebuilt-dir.sh b/contrib/publish-prebuilt-dir.sh
new file mode 100755
index 000000000..33307a4c0
--- /dev/null
+++ b/contrib/publish-prebuilt-dir.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+COMMIT=$(git rev-parse --verify HEAD)
+MSG="built from ${COMMIT}"
+
+git commit -m "$MSG" -a
+git push