Push redundancy

We need two ways of pushed to get to each mirror. When one of the ways fails to send the push on (host down for example), the other way will take in and make sure the push goes through.

A mirror is pushed by / pulls from several mirrors. How the choice should be made ?

/debian/project/trace/ftp-master.debian.org provides :

The format allows easy comparaison using bash

Today, a mirror can provide an up to date /debian/project/trace/ftp-master.debian.org while the sync has not been finished. We can only count on the mirror specific trace file, written only in case of success.

This implies:

On the pushing side:

On the pushed side:

To be added to ftpsync: