aboutsummaryrefslogtreecommitdiff
path: root/deploy
diff options
context:
space:
mode:
authorJoris2022-07-05 21:41:33 +0200
committerJoris2022-07-05 21:41:33 +0200
commitc1da6627de672b8c1000d0cd45fd267ab8e0ca55 (patch)
tree5ae92084bebc05a64aa4b44df32ec514c02cb246 /deploy
parent9f708ead7a10763c0201cbc29382fefc6822e23a (diff)
Migrate away from gitlab
Diffstat (limited to 'deploy')
-rwxr-xr-xdeploy16
1 files changed, 0 insertions, 16 deletions
diff --git a/deploy b/deploy
deleted file mode 100755
index 99fe22a..0000000
--- a/deploy
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-set -e
-git branch -D pages || true
-git checkout -b pages
-rm -f public/game_of_life.js
-rm -f public/game_of_life_bg.wasm
-rm -f public/game_of_life_bg.wasm.gz
-wasm-pack build --release --target web
-mv pkg/game_of_life.js public
-wasm-opt -O -o public/game_of_life_bg.wasm pkg/game_of_life_bg.wasm
-gzip -9 --keep public/game_of_life_bg.wasm
-git add .
-git commit -m "Deploy pages"
-git push --force origin pages
-git checkout master
-git branch -D pages