From 48a245559ca7fc6e15c8f4e11a15f564faf829cc Mon Sep 17 00:00:00 2001
From: Patrick Kofod Mogensen <patrick.mogensen@gmail.com>
Date: Tue, 20 Aug 2019 15:17:35 +0200
Subject: [PATCH] Delete pushtomaster.sh

`dev` is dead
---
 pushtomaster.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 pushtomaster.sh

diff --git a/pushtomaster.sh b/pushtomaster.sh
deleted file mode 100755
index 01d219c0..00000000
--- a/pushtomaster.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-git checkout master
-git merge --ff-only dev
-git push origin master
-git checkout dev