chiark / gitweb /
dgit: honour more pre-tree git config options in our private trees