chiark / gitweb /
Fix some bugs in dgit fetch --dry-run which made dgit push --dry-run often not work...