chiark / gitweb /
manager: drop all pending jobs when isolating