On Thu, 22 Mar 2012, Diego Novillo wrote: > From a thread on IRC. We don't have a prominent link to the Git mirror > and it's becoming one of the favourite ways for people to access the > repo. > > Gerald, OK for the main page? I can't seem to be able to preview this > change locally (dunno how the style.mhtml file gets loaded).
This is preprocessed on the server (and in this case will become active within 0-24 hours, depends on when it goes in). I wasn't sure how "official" the Git repo was, but if you feel it's sufficiently stable and useful, go ahead! Gerald