On Monday 08 August 2005 11:10, Johannes Schindelin wrote: > Hi, > > On Sun, 7 Aug 2005, Junio C Hamano wrote: > > I hear a lot of people mention $GIT_DIR/branches/ is confusing. > > Maybe we should rename it to $GIT_DIR/remote/ directory? > > I'd prefer $GIT_DIR/remotes/. IMHO, $GIT_DIR/branches/ is really confusing. Hmmm... in $GIT_DIR/branches/ there are named references to remote (named) references. Perhaps we should call it "remoterefs/" instead? Josef - 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.htmlReceived on Mon Aug 08 20:23:25 2005
This archive was generated by hypermail 2.1.8 : 2005-08-08 20:23:28 EST