In some places I have git in $HOME/git.git

diff --git a/DoKernelOrg b/DoKernelOrg
index 3fbfe5e0642547261d7f063685e8e3735407b415..d5637c5fd39c34fa6e6ddefcfb5c96535186cd7a 100755 (executable)
--- a/DoKernelOrg
+++ b/DoKernelOrg
@@ -10,7 +10,7 @@ esac
 : ${J='-l 4 -j'}
 G=/pub/software/scm/git &&
 
-cd $HOME/git &&
+(cd $HOME/git 2>/dev/null || cd $HOME/git.git || exit ) &&
 make clean >/dev/null 2>&1 &&
 git reset --hard &&
 make clean >/dev/null 2>&1 &&