Sean Whitton writes ("Re: Bug#935890: Rename "dgit push-source" to "dgit
push""):
> On Tue 27 Aug 2019 at 11:30AM +01, Ian Jackson wrote:
> > 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).
>
> Hmm, so the only required compat break here is for people expecting
> `dgit push` to upload binaries, right?
Yes.
> And it's probably reasonable to
> assume that even if there are scripts doing `dgit push-source` there
> probably aren't scripts to upload binaries with dgit?
Probably. Let's advertise new names and make `dgit push' print a
warning, for now.
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.
