On 2011-11-12 at 16:43:33 [+0100], Oliver Tappe <zooey@xxxxxxxxxxxxxxx> wrote: > > My question is this: is it ok that the tags of those two repositories > diverge, causing duplicates (e.g. in Trac)? Urias has just pointed out to me on IRC that we could use a different tag name for the buildtools repo, too, like 'btrevXXXXX' and then just let them each have their own domain. That would avoid tagname clashes wherever tags of those two repositories are being used together (which I think is just the case in Trac?). Any opinions? cheers, Oliver