[off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories)

[Stefano Lattarini]

Ah, we all git lovers still forced to deal with that living fossil
of CVS!

Wouldn't it be great if someone could convince the Savannah admin
to switch the web pages repository to a modern, distributed VCS?

(Me ducks and run now ;-).

Regards,
  Stefano