> 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 ? Is this worth the disruption ? Thanks, 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.
