From c7b61ea4ec54f6c542f55335e872d9691c8edf48 Mon Sep 17 00:00:00 2001 From: Josh Sherman Date: Tue, 20 Jan 2015 18:51:26 -0500 Subject: [PATCH] Dropped git scripts Only had the script that removed the local and remote branch. Don't ever really use it at this point as the remove branches are good for posterity and all of that shit --- git/scripts/git-delete-branch | 6 ------ 1 file changed, 6 deletions(-) delete mode 100755 git/scripts/git-delete-branch diff --git a/git/scripts/git-delete-branch b/git/scripts/git-delete-branch deleted file mode 100755 index 0a8b4e8..0000000 --- a/git/scripts/git-delete-branch +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash -# remove remote git branch -# usage: git delete-branch name - -git branch -D $1 -git push origin :$1