Stefan Kueng wrote: > On 16.02.2015 20:39, Stefan Sperling wrote: >> In general, externals point at different repositories. [...] >> An intra-repository external (and especially >> a configuration where all externals come from the same repository) is a >> special >> case where I don't think it is wise to make pinning behave any differently. > > I don't think that intra-repository externals are really that special. [...]
Just to make sure the terminology is clear: the phrase "special case" has a specific meaning, and is in contrast to "general case". The general case is that externals point to <some URL>. When <some URL> equals <this repository's URL> that's called a special case, meaning it's a subset of all the possibilities. It does not imply the case is unusual. - Julian
