On Mon, Nov 30, 2009 at 1:03 PM, Jeff King [off-list ref] wrote:
Er, what? $GIT_DIR/remotes/ and $GIT_DIR/refs/remotes/ are not even
remotely the same thing. The former holds information about how to
contact remotes (but that information is usually held in the config file
these days). The latter holds any tracking refs we have fetched from
the remotes.
Erg.. thanks for the enlightenment.
I was reading 'git help remote' while attempting to change my local git
repo from tracking
http://www.kernel.org/pub/scm/git/git.git
to
git://git.kernel.org/pub/scm/git/git.git
and noticed that the documentation refers to $GIT_DIR/remotes and
(wrongly) thought that it meant $GIT_DIR/refs/remotes.
Sorry for the noise.
Nazri.