Hi, On Mon, 30 Jun 2008, Andrew Morton wrote: > - It's bad to have the same info in two places, and to have to > support two different ways of doing the same thing for ever. It is actually worse: we have three places. > For me the biggest part of migrating would be working out what on > earth the format of the new files is. Maybe it's documented > somewhere undiscoverable, dunno. The easiest way is to git config remote.$NICKNAME.url $URL where you said echo $URL > .git/branches/$NICKNAME Actually, you might even like this command better: git remote add $NICKNAME $URL Many ways to go to Rome, Dscho -- 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
