1 files changed, 20 insertions, 0 deletions
diff --git a/bin/post-receive b/bin/post-receive
new file mode 100755
index 00000000000..ff7cf507cd5
--- /dev/null
+++ b/bin/post-receive
@@ -0,0 +1,20 @@
+#!/bin/sh
+#
+# Post-receive git hook
+#
+
+cd ..
+unset GIT_DIR
+
+if [ -d ".git/annex" ]; then
+  git annex sync
+else
+  git config receive.denyCurrentBranch ignore
+  #git reset HEAD
+  git checkout -f
+fi
+
+git submodule update --init --recursive
+
+cd -
+exec git update-server-info