Re: [wwwdocs] Add link to Git mirror on main page

2012-03-24 Thread Gerald Pfeifer
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 h

[wwwdocs] Add link to Git mirror on main page

2012-03-22 Thread Diego Novillo
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). Thanks. Di