Moved scripts to custom repos

1 files changed, 0 insertions, 33 deletions

diff --git a/git-subtree-push b/git-subtree-push
deleted file mode 100755
index 41ffe25..0000000
--- a/git-subtree-push
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/bin/bash
-#
-# Push changes in a subtree to a remote.
-#
-
-# Parameters
-BASENAME="`basename $0`"
-REMOTE="$1"
-FOLDER="$2"
-
-# Syntax
-if [ -z "$2" ]; then
-  echo "usage: $BASENAME <gitremote> <folder>"
-  exit 1
-fi
-
-# Check remote
-if ! git remote | grep -qe "^$REMOTE"; then
-  echo "fatal: no such remote $REMOTE"
-  exit
-fi
-
-# Fetch the remote
-git fetch $REMOTE master
-
-# Process
-if [ ! -d "$FOLDER" ]; then
-  echo "fatal: folder $FOLDER does not exist"
-  exit 1
-else
-  # Update a subtree
-  git subtree push --prefix=$FOLDER $REMOTE master
-fi