g: fix --set-push-urls

1) submodule's .git is possibly a file now

2) just use the logerrit alias, as

   - logerrit setup already set that up
   - possibly otherwise the right ssh key is not picked up

Change-Id: I4fb355a7f7ec7d549d2b06367f4fd10d06086374

1 files changed, 3 insertions, 3 deletions

diff --git a/g b/g
index 4c0184cc9b2d..0d899b4a7fe2 100755
--- a/g
+++ b/g
@@ -115,9 +115,9 @@ local repo
     fi
     echo "setting up push url for ${repo?}"
     if [ "${repo?}" = "helpcontent2" ] ; then
-	git config remote.origin.pushurl "ssh://${PUSH_USER}gerrit.libreoffice.org:29418/help"
+	git config remote.origin.pushurl "ssh://${PUSH_USER}logerrit/help"
     else
-	git config remote.origin.pushurl "ssh://${PUSH_USER}gerrit.libreoffice.org:29418/${repo?}"
+	git config remote.origin.pushurl "ssh://${PUSH_USER}logerrit/${repo?}"
     fi
     popd > /dev/null
 }
@@ -137,7 +137,7 @@ SUBMODULES_ACTIVE=""
 local repo
 
     for repo in ${SUBMODULES_ALL?} ; do
-	if [ -d ${repo?}/.git ] ; then
+	if [ -d ${repo?}/.git -o -f ${repo?}/.git ] ; then
 	    SUBMODULES_ACTIVE="${repo?} ${SUBMODULES_ACTIVE?}"
 	fi
     done