Package: dgit Version: 9.7 User: d...@packages.debian.org Usertags: rsn dgit push-source should be primary. We should start by renaming "dgit push" to "dgit push-built" (at first, with an alias).
Ian. -- Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own. If I emailed you from an address @fyvzl.net or @evade.org.uk, that is a private address which bypasses my fierce spamfilter.
