From c1da6627de672b8c1000d0cd45fd267ab8e0ca55 Mon Sep 17 00:00:00 2001
From: Joris
Date: Tue, 5 Jul 2022 21:41:33 +0200
Subject: Migrate away from gitlab

---
 deploy | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 deploy

(limited to 'deploy')

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
-- 
cgit v1.2.3