Your message dated Mon, 26 Dec 2022 13:36:49 +0000
with message-id <[email protected]>
and subject line Re: dgit-maint-native(7) examples should use push-source
(rather than push)
has caused the Debian Bug report #935890,
regarding Rename "dgit push-source" to "dgit push"
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
935890: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935890
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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.
--- End Message ---
--- Begin Message ---
Version: 10.0
These renamings and docs updates have been done now. dgit push is now
a configurable alias, which we plan to change next release cycle.
Ian.
--
Ian Jackson <[email protected]> These opinions are my own.
Pronouns: they/he. If I emailed you from @fyvzl.net or @evade.org.uk,
that is a private address which bypasses my fierce spamfilter.
--- End Message ---
