aboutsummaryrefslogtreecommitdiff
path: root/deploy
blob: ec1ed476b3aa86ad2963ce4c3198222fb9312bc2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#!/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