From 3965af152bf12f962409a91be58bc351608f1346 Mon Sep 17 00:00:00 2001
From: Sami Samhuri <sami.samhuri@gmail.com>
Date: Thu, 20 Dec 2012 08:19:58 -0800
Subject: [PATCH] remove an old script

---
 update-git-repo.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 update-git-repo.sh

diff --git a/update-git-repo.sh b/update-git-repo.sh
deleted file mode 100755
index 450158a..0000000
--- a/update-git-repo.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/bash
-
-dir="$1"
-if [[ -d "$1/.git" ]]; then
-    cd "$1"
-    git clean -fq
-    git pull
-else
-    echo "error: $1 is not a git repo"
-    exit 1
-fi
-