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 TS
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 |
