Add sync commit hook.

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..4298e22
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.~*#

diff --git a/git_hooks/post-commit b/git_hooks/post-commit
new file mode 100755 (executable)
index 0000000..f5002cd
--- /dev/null
+++ b/git_hooks/post-commit
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+set -euf
+
+remotes="$(git remote)"
+if echo "$remotes" | grep -q 'sync'; then
+    git push --all sync
+    git push --tags sync
+else
+    echo ">>>>> No sync remote defined." 1>&2
+fi