chiark / gitweb /
dgit: baredebian: Honour baredebian+git alias for baredebian