chiark / gitweb /
manager: consider the active job when merging