chiark / gitweb /
Provide `dgit print-dgit-repos-server-source-url'.