diff options
author | Joris | 2022-07-05 21:55:41 +0200 |
---|---|---|
committer | Joris | 2023-01-28 09:35:55 +0100 |
commit | 063d8ef9eaf874a941f4459e831057dd0a1b7ddd (patch) | |
tree | c4a8b27cb8fdb5d1dc26c560c7483c9593f40dac /deploy | |
parent | 2936f06576997bffe7903ea840df563a408efc21 (diff) |
Rewrite in TSmain
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 -euo pipefail - -# 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 |