Hi,
On Fri, 3 Aug 2007, Johannes Schindelin wrote:
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.
Oh well, I downloaded your archive, and making the adjustments right now.
Ciao,
Dscho