chiark / gitweb /
manager: count how many jobs we executed