Jeff King writes:
> At this point, it seems that "--delete" is useful, and nothing else has
> been proposed for "-d" in the intervening years. It seems like a
> reasonable use of the flag to me.
I think there were two (and a half) reasons why we didn't let
"--delete" use a
On Wed, Dec 16, 2015 at 12:29:38PM -0800, Junio C Hamano wrote:
> Jeff King writes:
>
> > At this point, it seems that "--delete" is useful, and nothing else has
> > been proposed for "-d" in the intervening years. It seems like a
> > reasonable use of the flag to me.
>
> I
On Mon, Dec 14, 2015 at 11:18:18AM -0800, Junio C Hamano wrote:
> Patrick Steinhardt writes:
>
> > It is only possible to delete branches on remotes by specifying
> > the long '--delete' flag.
>
> Not really. "git push origin :unnecessary-branch" should just work
> with out
It is only possible to delete branches on remotes by specifying
the long '--delete' flag. The `git-branch` command, which can be
used to delete local branches with the same '--delete' flag, also
accepts the shorthand '-d'. This may cause confusion for users
which are frequently using the shorthand
Patrick Steinhardt writes:
> It is only possible to delete branches on remotes by specifying
> the long '--delete' flag.
Not really. "git push origin :unnecessary-branch" should just work
with out "--delete" or "-d".
--
To unsubscribe from this list: send the line "unsubscribe
On Mon, Dec 14, 2015 at 04:23:04PM +0100, Patrick Steinhardt wrote:
> It is only possible to delete branches on remotes by specifying
> the long '--delete' flag. The `git-branch` command, which can be
> used to delete local branches with the same '--delete' flag, also
> accepts the shorthand
6 matches
Mail list logo