From b74e9e85afe7a3db9f2f329cc7b5a1632aa16d02 Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Wed, 5 Oct 2022 17:58:37 -0700 Subject: ref(fcuny/notes): delete notes The notes are at https://github.com/fcuny/notes.fcuny.net --- users/fcuny/notes/scripts/deploy.sh | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 users/fcuny/notes/scripts/deploy.sh (limited to 'users/fcuny/notes/scripts') diff --git a/users/fcuny/notes/scripts/deploy.sh b/users/fcuny/notes/scripts/deploy.sh deleted file mode 100755 index d26c932..0000000 --- a/users/fcuny/notes/scripts/deploy.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -set -ueo pipefail - -cd "$(git rev-parse --show-toplevel)" - -git diff --exit-code -git diff --staged --exit-code - -cd users/fcuny/notes - -flyctl deploy - -[[ "${CI}" ]] && flyctl agent stop -- cgit 1.4.1