31 Aug
2006
31 Aug
'06
10:19
On Thu, 31 Aug 2006, Adrian Schröter wrote:
I got a related question regarding the software repository. Adrian helped me delete two old repositories for the OSCAR project from the backend, but I was wondering how long it would take to propagate to the mirrors?
it should happen very fast for the pushed mirrors and < 1 day for the polling mirrors.
Some mirrors (ftp-1.gwdg.de) aren't pushed with the --delete option, so they will get deleted on the mirror side after a full run (which happens daily at ftp-1.gwdg.de, IIRC).
However, I have not triggered any build inside of your project, so the sync to external will only happen after something is changing inside of your project.
Regards Christoph