#echo ${V:-2}
#(date;false) >&$F_INDENT2; exit
+# include extra scripts
+#! [ -r "$NB_ROOT/lib/nb-update/repo.sh" ] || . "$NB_ROOT/lib/nb-update/repo.sh" || bye
+
#----------------------------------------------------------
# Git pull
#
preff="git.$dir"
# include extra scripts
- ! [ -r "$NB_ROOT/lib/$NAME/repo.sh" ] || . "$NB_ROOT/lib/$NAME/repo.sh" || bye
+ #! [ -r "$NB_ROOT/lib/$NAME/repo.sh" ] || . "$NB_ROOT/lib/$NAME/repo.sh" || bye
#exec {F_INDENT}> >(sed 's/^/ /')
opt=""
git_change_url "git@big:izideal.git" "git@git.nbdom.net:izideal.git"
# NB 19.10.24:
-git branch | awk '/^\* testing/{ex=1}END{exit ex}' && git checkout master
+exec_user $user git branch | awk '/^\* testing/{ex=1}END{exit ex}' && exec_user $user git checkout master
return 0