Re: [PATCH 2/2] clone: respect url.insteadOf setting in global configs

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Johannes Schindelin
Date: Sunday, June 29, 2008 - 2:50 pm

Hi,

On Sun, 29 Jun 2008, Pieter de Bie wrote:


Thanks for the quick answer,
Dscho

--
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)