Re: Git help: amending a substandard commit message in savannah.

[David Kastrup]

David Caldwell <address@hidden> writes:

> On 11/23/15 3:32 AM, David Kastrup wrote:
>
>> So you can use
>> 
>>     git push origin :branch_to_be_deleted
>> 
>> in order to delete the branch, but once it is gone, you need to do
>> 
>>     git push origin HEAD:refs/heads/branch_to_be_deleted
>> 
>> in order to recreate it (after which it is again possible to refer to it
>> using just branch_to_be_deleted).
>
> Er, what? That's not right. Once you've deleted a branch on the remote
> git server you can just push it back using whatever command you created
> it with in the first place. Of course the commands you gave will work,
> but it's over-complicating things certainly not required. You can do
> this all day:
>
>     git push origin :branch_to_be_deleted
>     git push origin branch_to_be_deleted

_Iff_ the reference you push has the name branch_to_be_deleted in the
first place.  If you name the reference explicitly, namely if your
pushing command contains a : sign, then you need the full reference name
on the right side of the :.  If you only name one reference, then the
disambiguation used for finding the reference in the local repository
will be pushed to the remote side.

Try

    git push origin HEAD:branch_to_be_deleted

to see what I mean.  Or even

    git push origin branch_to_be_deleted:branch_to_be_deleted

-- 
David Kastrup