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
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
