>> Completely forgot: we might want to do something like this at the end of 
>> /etc/profile:
>>
>> 	test ! -d /git || {
>> 		mv /git $HOME/ &&
>> 		cd $HOME/git &&
>> 		make install &&
>> 		git config remote.origin.url \
>> 			git://repo.or.cz/git/mingw.git
>> 		git config remote.origin.fetch \
>> 			'+refs/heads/*:refs/remotes/origin/*'
>> 		git config remote.mob.url \
>> 			repo.or.cz:/srv/git/git/mingw.git
>> 		git config remote.mob.fetch \
>> 			+refs/remote/mob:refs/remotes/origin/mob
>> 		git config remote.mob.push \
>> 			master:mob
>> 		git fetch
>> 		git reset 51785010a4d3e7f6c3
>> 	}
>>
>> Please test that, and include it if it works.

Hmmm, I have trouble 'parsing' this.
You meant
     test ! -d $HOME/git ||
right?

But, given that he removed the initial git sources, the script won't 
work. He left the git executables to be able to check a new Git out, 
if I understand correctly.

-- 
.marius