From 0a246697ba49b97fd928dd67a3a16f731ff66d29 Mon Sep 17 00:00:00 2001
From: Philipp Bock <p@philippbock.de>
Date: Thu, 26 Dec 2019 15:07:30 +0100
Subject: [PATCH] Delete deploy script

No need for it if we're going to be moving to GitHub Pages
---
 deploy.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 deploy.sh

diff --git a/deploy.sh b/deploy.sh
deleted file mode 100755
index 7d14f32..0000000
--- a/deploy.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-
-DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-rsync --archive --rsh=ssh --progress $DIR/static/ bock@libra.uberspace.de:/var/www/virtual/bock/c3lingo.org
-- 
GitLab