At Wednesday, 03-08-2011 on 17:47 Oliver Tappe wrote: > On 2011-08-03 at 11:52:33 [+0200], Brecht Machiels <brecht@xxxxxxxxxxx> > wrote: > > On Wed, 03 Aug 2011 11:34:54 +0200, Niels Sascha Reedijk > > <niels.reedijk@xxxxxxxxx> wrote: > > > > >> Yes, that would be great. There's a problem, though. The 40k+ tags do > > >> cause Opera to hang on loading the current GitHub Haiku mirror > > >> (https://github.com/haiku/haiku). Chrome and Firefox don't choke, but > > >> take quite some time for opening the tags list, enough to be very > > >> annoying. I don't know how Web+ handles things. Also, remember that the > > >> tags make bash completion unusable for the git command line tools. > > > > > > I believe the response to that is 'file a bug report.' > > > > Be my guest. I'd be interested to hear the response :) > > I already filed a ticket at end of June, yielding the following > correspondence: > > ... > > Clearly, they don't show much intent to fix the problem. Understandably, as Haiku is the *only* project tagging each and every changeset. This is clearly not the intended use for tags. But I don't suppose the few people in favor of the tags have changed their mind about it yet? :) Maybe you can choose not to mirror the tags at GitHib? But that kind of defeats their purpose. - Brecht