chiark / gitweb /
bin/run-mirrors: Run post scripts after mirror jobs.