Re: Using url.insteadOf in git-clone

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Pieter de Bie
Date: Sunday, June 29, 2008 - 11:59 am

On 27 jun 2008, at 19:11, Junio C Hamano wrote:


I think I tried this while testing the 1.5.5 clone.sh, so that's  
probably it.
Thanks.


- Pieter

--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Using url.insteadOf in git-clone, Pieter de Bie, (Fri Jun 27, 2:35 am)
[PATCH 1/2] clone: respect the settings in $HOME/.gitconfi ..., Johannes Schindelin, (Fri Jun 27, 5:55 am)
[PATCH 2/2] clone: respect url.insteadOf setting in global ..., Johannes Schindelin, (Fri Jun 27, 5:56 am)
Re: Using url.insteadOf in git-clone, Junio C Hamano, (Fri Jun 27, 10:11 am)
Re: Using url.insteadOf in git-clone, Pieter de Bie, (Sun Jun 29, 11:59 am)
Re: [PATCH 1/2] clone: respect the settings in $HOME/.gitc ..., Johannes Schindelin, (Sun Jun 29, 2:49 pm)
Re: [PATCH 2/2] clone: respect url.insteadOf setting in gl ..., Johannes Schindelin, (Sun Jun 29, 2:50 pm)
Re: [PATCH 1/2] clone: respect the settings in $HOME/.gitc ..., Johannes Schindelin, (Sun Jun 29, 5:41 pm)
Re: [PATCH 1/2] clone: respect the settings in $HOME/.gitc ..., Johannes Schindelin, (Mon Jun 30, 4:37 am)
Re: [PATCH 1/2] clone: respect the settings in $HOME/.gitc ..., Johannes Schindelin, (Mon Jun 30, 4:57 am)