chiark / gitweb /
job: fix merging with --ignore-dependencies