At Tuesday, 02-08-2011 on 20:53 Oliver Tappe wrote: > While I think it'd be feasible to provide a single scratch repo or even one > per developer on our own servers, I agree with Niels that hosting those on > Github is better. Not only because of their better infrastructure, but > because on Github there's no more separation between people with commit > rights on our repos and people without. So I think hosting our scratch repos > on Github should facilitate pulling more developers into the project. 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. - Brecht