Michał Janiszewski 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 underlying but lowe
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 wrote:
> Michał Janiszewski writes:
>
>> Hi,
>> I think I've found a bug in git or at least a use case that
Michał Janiszewski 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 repository.
> Here
3 matches
Mail list logo