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

"jonsmirl@gmail.com" [off-list ref] 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.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."