chiark / gitweb /
Infra: get-dm-txt: Report if git-config fails