aboutsummaryrefslogtreecommitdiff
path: root/deploy
diff options
context:
space:
mode:
Diffstat (limited to 'deploy')
-rwxr-xr-xdeploy12
1 files changed, 0 insertions, 12 deletions
diff --git a/deploy b/deploy
deleted file mode 100755
index ec1ed47..0000000
--- a/deploy
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/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