From: Fred T. Hamster <fred@gruntose.com>
Date: Fri, 17 Jan 2025 22:06:42 +0000 (-0500)
Subject: dropped unnecessary push dir
X-Git-Tag: 2.140.189^2~28
X-Git-Url: https://feistymeow.org/gitweb/?a=commitdiff_plain;h=a3155a47330e533202db30d6c36eba456e036a13;p=feisty_meow.git

dropped unnecessary push dir
---

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index b0bccc89..f0ecb2c1 100644
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -107,19 +107,18 @@ echo "calculated nicedir as '$nicedir'"
     else
       topdir="$(seek_writable ".git" "up")"
     fi
-echo "got topdir from seeking of '$topdir'"
-if [ -z "$topdir" ]; then
-echo "hey, topdir is blank!!!! bad news."
-fi
+#echo "got topdir from seeking of '$topdir'"
+#if [ -z "$topdir" ]; then
+#echo "hey, topdir is blank!!!! bad news."
+#fi
     if [ ! -z "$topdir" ]; then
 
-      # jump to the directory above the .git directory, to make git happy.
-echo "pushing this dir: $topdir/.."
-      pushd "$topdir/.." &>/dev/null
-newdir="$( \cd . && /bin/pwd )"
-echo "now dir is set to $newdir"
+#      # jump to the directory above the .git directory, to make git happy.
+#echo "pushing this dir: $topdir/.."
+#      pushd "$topdir/.." &>/dev/null
+#newdir="$( \cd . && /bin/pwd )"
+#echo "now dir is set to $newdir"
 
-#is this right now?
       # take steps to make sure the branch integrity is good and we're up to date against remote repos.
       do_revctrl_careful_update "$topdir/.."