chiark / gitweb /
make success_report_interval configuraable