chiark / gitweb /
directory handling: dgit: Introduce dgit_privdir and use it