docs: initial commit

docs/publish.sh

@@ -0,0 +1,27 @@
+#!/bin/bash
+set -eo pipefail
+
+GHPAGESREPO="git@github.com:zrepl/zrepl.github.io.git"
+
+exit_msg() {
+    echo "error, exiting..."
+}
+trap exit_msg EXIT
+
+echo -n "PRESS ENTER to confirm you commited the docs changes to the zrepl repo"
+read
+
+cd public
+echo "verify we're in the GitHub pages repo..."
+git remote get-url origin | grep -E "^${GHPAGESREPO}\$"
+echo "cleaning GitHub pages repo"
+git clean -dn
+cd ..
+echo "building site"
+hugo
+cd public
+echo "adding and commiting all changes in GitHub pages repo"
+git add -A
+git commit -m "hugo render from publish.sh - `date -u`"
+git push origin master
+