On Thu, 2007-12-06 at 12:15 +0000, Johannes Schindelin wrote: > Hi, > > On Wed, 5 Dec 2007, Harvey Harrison wrote: > > > On Thu, 2007-12-06 at 01:43 -0500, Jeff King wrote: > > > On Wed, Dec 05, 2007 at 10:22:33PM -0800, Harvey Harrison wrote: > > > > > > > // fetching someone else's remote branches is not a standard thing to do > > > > // so we'll need to edit our .git/config file > > > > // you should have a section that looks like: > > > > [remote "gcc.gnu.org"] > > > > url = git://git.infradead.org/gcc.git > > > > fetch = +refs/heads/*:refs/remotes/gcc.gnu.org/* > > > > // infradead's mirror puts the gcc svn branches in its own namespace > > > > // refs/remotes/gcc.gnu.org/* > > > > // change our fetch line accordingly > > > > [remote "gcc.gnu.org"] > > > > url = git://git.infradead.org/gcc.git > > > > fetch = +refs/remotes/gcc.gnu.org/*:refs/remotes/gcc.gnu.org/* > > > > > > FWIW, if you are writing a shell recipe for other people to cut and > > > paste, you can say this as: > > > > > > git config remote.gcc.gnu.org.fetch \ > > > '+refs/remotes/gcc.gnu.org/*:refs/remotes/gcc.gnu.org/*' > > > > I thought about that, but I like to encourage people to actually look at > > the config file, it's pretty easy to understand. > > I agree that people should be encouraged to edit their .git/config. But a > recipe is something easy-to-follow IMHO, so I would write this as a shell > script (with #-comments, not //-comments). I'll probably turn it into such eventually, this was more of a hand-holding exercise for people who would like to try git in gcc-land. Harvey - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
