Hello Sylvain, Can you please tell: Are the git repositories visible in
http://git.sv.gnu.org/gitweb/ stored on a disk that is regularly backed up? If so, with which frequency (daily, weekly, monthly)? I'm asking because we are considering moving gnulib to this area as well. Bruno