chiark / gitweb /
dgit: fetch: Introduce new dofetch()