Hello, On Thu 05 Sep 2019 at 09:46AM +01, Ian Jackson wrote:
>> Probably. Let's advertise new names and make `dgit push' print a >> warning, for now. > > I was about to implement this and so I reread this bug. Now I'm > having second thoughts. Sean, do you actually agree with what I write > earlier in this bug ? You didn't write much :) Is the thought that `dgit push-source` is analogous with `git push` and so should occupy the name `dgit push`? > Is this worth the disruption ? If what I just wrote is the only reason for doing this, then I'm not convinced that it is. -- Sean Whitton
signature.asc
Description: PGP signature
