Re: [RFC PATCH 0/2] add a --delete option to git push
- From
Jakub Narebski <jnareb@gmail.com>
- Date
- Aug 14, 2009, 20:25 UTC
- Message-ID
- <200908142225.38610.jnareb@gmail.com>
- In-Reply-To
- <fabb9a1e0908140953w2d3f571cv3e7415817c2758a7@mail.gmail.com>
Dnia piątek 14. sierpnia 2009 18:53, Sverre Rabbelier napisał:
Show 11 quoted lines
> 2009/8/14 Jakub Narebski <jnareb@gmail.com>: >> On Fri, 14 August 2009, Sverre Rabbelier wrote: >>> >>> This is in reply to a brief conversation I had with jnareb on #git >>> about the blogpost "5 things git could learn from hg", or something >>> like that (can't find it right now). >> >> Thanks. > > What do you think would be the best solution? There seem to be a lot > of opinions on how to proceed.
I think we can begin with simple and strict: "--delete=<branch>" is long version of equivalent ":<branch>" (like long option equivalent to short one).
-- Jakub Narebski Poland