aboutsummaryrefslogtreecommitdiff
path: root/deploy
diff options
context:
space:
mode:
Diffstat (limited to 'deploy')
-rwxr-xr-xdeploy12
1 files changed, 12 insertions, 0 deletions
diff --git a/deploy b/deploy
new file mode 100755
index 0000000..ec1ed47
--- /dev/null
+++ b/deploy
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -e
+git checkout master
+git fetch
+git merge --ff-only origin/master
+nix-shell --command "make clean install build"
+git checkout -b deploy
+git add --force public
+git commit -m "deploy $(date +%Y-%m-%d)"
+git push --force origin deploy
+git checkout master
+git branch -D deploy