From 64c2320cc8f3a99c41e9e24eb80dea0e30ee77a6 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Tue, 7 Aug 2007 20:04:36 +0100 Subject: [PATCH] /etc/profile: replace mingw.git by mingw/4msysgit.git Totally untested, but should be safe. Signed-off-by: Johannes Schindelin --- etc/profile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/etc/profile b/etc/profile index cb61b39ed3..c80e4c4784 100644 --- a/etc/profile +++ b/etc/profile @@ -69,15 +69,17 @@ test -e /bin/git.exe || { cd /git && make install && git init && - git config remote.origin.url git://repo.or.cz/git/mingw.git && + git config remote.origin.url git://repo.or.cz/git/mingw/4msysgit.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.url \ + ssh://mob@repo.or.cz/srv/git/git/mingw/4msysgit.git && git config remote.mob.fetch +refs/remote/mob:refs/remotes/origin/mob && git config remote.mob.push master:mob && echo && echo "Fetching the MinGW repository from repo.or.cz" && (git fetch || - (git config remote.origin.url http://repo.or.cz/r/git/mingw.git && + (git config remote.origin.url \ + http://repo.or.cz/r/git/mingw/4msysgit.git && git fetch)) && git reset 382210f715c0e1ef7a19eb10977dae4265a2c88f -- 2.11.4.GIT