diff options
author | Joris | 2020-02-16 22:45:07 +0100 |
---|---|---|
committer | Joris | 2020-02-17 09:15:11 +0100 |
commit | 25afb0bde9b8a2c064135a534231c232a461b341 (patch) | |
tree | 5ab25640024238a2f6f2d176e5870178f18b5345 /deploy | |
parent | 0366f8cd49d2db40ea5efc639f6a475ecd97675e (diff) |
Set up a first version of tabata timer
Diffstat (limited to 'deploy')
-rwxr-xr-x | deploy | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -0,0 +1,12 @@ +#!/usr/bin/env bash +set -e + +# Build +git branch -D pages || true +git checkout -b pages +make clean build +git add --force public/main.js +git commit -m "Deploy pages" +git push --force origin pages +git checkout master +git branch -D pages |