From a7c001d33e09211a95b0f29caffe2d5780ccf0e0 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sat, 4 May 2019 19:21:29 +0200
Subject: 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.
---
 deploy | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 deploy

(limited to 'deploy')

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
-- 
cgit v1.2.3