From 159dcfbd3eecd9f4f0a1f4baa4b6e20af520045d Mon Sep 17 00:00:00 2001
From: Chris Koeritz <fred@gruntose.com>
Date: Sun, 17 Feb 2013 14:53:22 -0500
Subject: [PATCH] much nicer now; supports a path to push upstream.

---
 scripts/rev_control/push_repo_upstream.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/scripts/rev_control/push_repo_upstream.sh b/scripts/rev_control/push_repo_upstream.sh
index 3d69f95f..6210277e 100755
--- a/scripts/rev_control/push_repo_upstream.sh
+++ b/scripts/rev_control/push_repo_upstream.sh
@@ -10,8 +10,13 @@
 # rats: how did i set up that archive?
 #       we need to have those steps someplace.
 
+dir="$1"; shift
+if [ -z "$dir" ]; then
+  dir=.
+fi
+
+pushd "$dir"
 git fetch upstream
 git merge upstream/master
-
 git push origin master
-
+popd
-- 
2.34.1