From b4e2708c6f8cc2191c581aef404803478e65e678 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Thu, 18 Sep 2014 16:47:55 -0300
Subject: Moved scripts to custom repos

---
 git-subtree-push | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100755 git-subtree-push

(limited to 'git-subtree-push')

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
-- 
cgit v1.2.3