From d091725b9af5057d0ff85fb84bb792450b4a1f92 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Fri, 12 Jun 2015 17:01:33 +0200
Subject: Remove git scripts, they are now in separate repository

---
 git/stash.sh | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100755 git/stash.sh

(limited to 'git/stash.sh')

diff --git a/git/stash.sh b/git/stash.sh
deleted file mode 100755
index 4a3eb99..0000000
--- a/git/stash.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#! /bin/sh
-
-# Assume this script never run via PATH.
-#
-self=`realpath $0`
-. `dirname $self`/modules
-
-wd=`pwd`
-
-for i in $modules; do
-  echo "stash $i" 1>&2
-  cd $i
-
-  if [ "$1" = "pop" -o "$1" = "apply" ]; then
-    l=`git stash list`
-    if [ -z "$l" ]; then
-      cd $wd
-      continue
-    fi
-  fi
-
-  git stash $*
-
-  if [ $? -ne 0 ]; then
-    echo "stash FAILED" 1>&2
-    exit 1
-  fi
-
-  cd $wd
-done
-- 
cgit v1.1