From a3155a47330e533202db30d6c36eba456e036a13 Mon Sep 17 00:00:00 2001 From: "Fred T. Hamster" Date: Fri, 17 Jan 2025 17:06:42 -0500 Subject: [PATCH] dropped unnecessary push dir --- scripts/rev_control/version_control.sh | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) 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/.." -- 2.34.1