aboutsummaryrefslogtreecommitdiff
path: root/deploy
diff options
context:
space:
mode:
authorJoris2019-05-04 19:21:29 +0200
committerJoris2019-05-04 19:21:32 +0200
commita7c001d33e09211a95b0f29caffe2d5780ccf0e0 (patch)
treeb953c892497185cbc7ebc2fbbadab89991ddbc5e /deploy
parent23f04635cc26e1b0553088f28553f518488a9fc8 (diff)
Translate to english
Put aside french translation, it will be considered afterward to show a french version along the english version. For now, the page will be english only.
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