chiark / gitweb /
dgit: config handling: better debugging