Debian is a daily (or more frequently) updated push-triggered mirror.