Michał Janiszewski janisoz...@gmail.com writes:
Hi,
I think I've found a bug in git or at least a use case that is not handled.
In few words it can be described like this: if you push a remote
branch to another remote, which is bare repository, you cannot remove
that branch from said bare
Hmm, indeed it works. Sorry for the confusion then (and a bit mistaken
commands, but you got them correct).
I wasn't aware of the -r option.
On Mon, Mar 11, 2013 at 5:29 PM, Junio C Hamano gits...@pobox.com wrote:
Michał Janiszewski janisoz...@gmail.com writes:
Hi,
I think I've found a bug in
Michał Janiszewski janisoz...@gmail.com writes:
Hmm, indeed it works. Sorry for the confusion then (and a bit mistaken
commands, but you got them correct).
I wasn't aware of the -r option.
I think what tripped you was that git branch deals with branch
names, and not refnames (which is the
3 matches
Mail list logo
