chiark / gitweb /
directory refactoring: dgit clone: call record_maintree