Package: dgit Version: 9.7 User: [email protected] 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 <[email protected]> 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.
