[Savannah-hackers-public] GAP CVS repositories

[Ric]

Hi,


I know there has been hacks on the savannah site. Restoring the CVS repository 
if the sever is set back compared to the local version is not easy. Forcing a 
commit or even trying a diff fails, because the metadata on the server is 
time-warped!

Could you restore for the GAP cvs a newer backup than that of the 23rd 
November? 
The newest possible. I would then run a diff against my local source tree (I 
have two copies on two computers... I am not exactly sure about the dates) and 
compare that there were no forges or code modifications.

This proceeding would help a lot in restoring the source repository.

Else, we need to think a force commit procedure.

Thank you,
  Riccardo Mottola, GAP developer