Remove push.sh

2022-11-14 13:37:12 +01:00
parent b78a34f74a
commit 852f6a527e
1 changed files with 0 additions and 14 deletions
--- a/push.sh
+++ b/push.sh
@@ -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