chiark / gitweb /
transaction: rework merging with installed jobs