Re: big mistake : Deleted many files under developer.pgadmin.org

Raphaël Enrici wrote:
> Hello,
>
> Maybe my wife should not have powered me on so late :(
>
> While trying to upload my packages I did a big mistake and erased most
> of the archive (ftp/release directory)
>
> I'm about to leech ftp.fr.postgresql.org in case we don't have a backup
> of these data.

Seems you need a maintenance down time. Ask your wife for a proper
shutdown procedure...

Regards,
Andreas