From 852f6a527ed4c971dc51daa388eb08feeb555e3d Mon Sep 17 00:00:00 2001
From: Fabian Ising <f.ising@fh-muenster.de>
Date: Mon, 14 Nov 2022 13:37:12 +0100
Subject: [PATCH] Remove push.sh

---
 push.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 push.sh

diff --git a/push.sh b/push.sh
deleted file mode 100755
index db5b75d..0000000
--- a/push.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#! /bin/sh
-#
-# update.sh
-# Copyright (C) 2017 Fabian Ising <fabian@murgi.de>
-#
-# Distributed under terms of the Apache v2.0 license.
-#
-
-git pull
-
-git subtree push --prefix=i3 i3 master
-git subtree push --prefix=tmux tmux master
-git subtree push --prefix=zsh zsh master
-git subtree push --prefix=vim vim master