Re: How do I delete a remote branch with a period in the name?

[Junio C Hamano <gitster@pobox.com>]

Andreas Schwab <schwab@linux-m68k.org> writes:

> "jonsmirl@gmail.com" <jonsmirl@gmail.com> writes:
>
>> jonsmirl@smirl2:/home/apps/florida/lpc31xx$ git push origin :fl.stg
>> error: unable to push to unqualified destination: fl.stg
>> The destination refspec neither matches an existing ref on the remote nor
>> begins with refs/, and we are unable to guess a prefix based on the source ref.
>> error: failed to push some refs to 'git@github.com:jonsmirl/lpc31xx.git'
>> jonsmirl@smirl2:/home/apps/florida/lpc31xx$
>>
>> jonsmirl@smirl2:/home/apps/florida/lpc31xx$ git branch -r
>>   linus/master
>>   origin/HEAD -> origin/master
>>   origin/bar.stgit
>>   origin/dt-test
>>   origin/fl.stgit
>>   origin/foo.stgit
>>   origin/lpc313x-stg
>>   origin/lpc313x-stg.stgit
>>   origin/master
>>   origin/master.stgit
>>   origin/temp.stgit
>>   origin/v3.4-stg
>>   origin/v3.4-stg.stgit
>>   origin/v3.5-stg
>>   origin/v3.5-stg.stgit
>
> There doesn't appear to be a remote branch with that name.

More importantly, there was nothing in Jon's message to convince us
that "branch -r" outputis telling us the current state of the
remote.  Showing "ls-remote" output would have been better.