diff options
author | Joris | 2019-05-04 19:21:29 +0200 |
---|---|---|
committer | Joris | 2019-05-04 19:21:32 +0200 |
commit | a7c001d33e09211a95b0f29caffe2d5780ccf0e0 (patch) | |
tree | b953c892497185cbc7ebc2fbbadab89991ddbc5e /deploy | |
parent | 23f04635cc26e1b0553088f28553f518488a9fc8 (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-x | deploy | 12 |
1 files changed, 0 insertions, 12 deletions
@@ -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 |