chiark / gitweb /
dgit: baredebian: Honour baredebian+git alias for baredebian
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 30 Jun 2019 21:16:20 +0000 (22:16 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 30 Jun 2019 21:16:20 +0000 (22:16 +0100)
commitd61c3b4c98cdcb527bb598946950e66b4487ea51
tree0bf49734f228559c41d68eefa347d9b6ba883e20
parentff2f54585ff5ab8449af347b89d4ee1ba12a70cc
dgit: baredebian: Honour baredebian+git alias for baredebian

We convert this to `baredebian' internally, and that is what will
appear in messages.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit