Re: [PATCH] update grub web page with reference to GIT instead of bzr.

[Bruce Dubbs]

Andrey Borzenkov wrote:
> В Sun, 27 Oct 2013 19:24:28 +0400
> Andrey Borzenkov <address@hidden> пишет:
>
> > That's where website lags behind. GRUB switched to GIT a while ago. See
> >
> > https://savannah.gnu.org/git/?group=grub
> >
> > As for web site - I do not know; Vladimir, who can edit this?
>
> Not sure if I can commit, but - does below look sane?

The files are actually maintained via templates and a Makefile to attach 
headers and footers that can be updated easily.  The file that you want 
to change is templates/grub-download.body.

If you do have commit privs, please do not update the html directly.

  -- Bruce