Learn more about these different git repos.
Other Git URLs
880947f
Include the date in the log of the last mirroring attempt Otherwise, we have the log of the last attempt but we do not know when that attempt was. Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>