1 files changed, 18 insertions, 0 deletions
diff --git a/deploy.sh b/deploy.sh
new file mode 100644
index 00000000..b0e33906
--- /dev/null
+++ b/deploy.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+rev=$(git rev-parse --short HEAD)
+
+cd target/doc
+
+git init
+git config user.name "Carl Lerche"
+git config user.email "me@carllerche.com"
+
+git remote add upstream "https://$GH_TOKEN@github.com/carllerche/nix-rust"
+git fetch upstream && git reset upstream/gh-pages
+
+touch .
+
+git add -A .
+git commit -m "rebuild pages at ${rev}"
+git push -q upstream HEAD:gh-pages