Data loss at savannah.gnu.org

[Pavel Roskin]

Hello!

It looks like savannah.gnu.org has suffered a data loss.  The last valid
backup is for April.  Please see http://savannah.gnu.org/ for details.

My git mirror git://repo.or.cz/grub2.git should be up-to-date, as it was
mirrored by a cron job twice an hour.

Since now having a repository affects out effectiveness, we may opt to
switch to a git repository.  The git service is down now, but the status
report says it will be restarted soon:
http://lists.gnu.org/archive/html/savannah-users/2009-05/msg00023.html

Alternatively, we could convert the git repository at repo.or.cz to
Subversion.

-- 
Regards,
Pavel Roskin