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

Andreas Schwab [off-list ref] writes:

"jonsmirl@gmail.com" [off-list ref] writes:

quoted

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.