Re: [PATCH] Don't create the $GIT_DIR/branches directory on init

From: Thomas Rast <trast@student.ethz.ch>
Date: Oct 31, 2009, 09:11 UTC
Message-ID: <200910311011.31189.trast@student.ethz.ch>
In-Reply-To: <1256923228-18949-1-git-send-email-robin.rosenberg@dewire.com>

Robin Rosenberg wrote:

> Git itself does not even look at this directory.

This contradicts the git-fetch manpage though: from urls-remotes.txt, it includes

  The name of one of the following can be used instead
  of a URL as `<repository>` argument:

  * a remote in the git configuration file: `$GIT_DIR/config`,
  * a file in the `$GIT_DIR/remotes` directory, or
  * a file in the `$GIT_DIR/branches` directory.

(and a longer explanation of what they need to look like).

So which one is wrong?

-- 
Thomas Rast
trast@{inf,student}.ethz.ch