[plt-dev] Re: Git dummy needs help [was: Release for v5.0 has begun]

Sorry if this is totally stupid.  I was hoping to be able to clone my
local repo to a "release repo" where I test the release, but I can't
seem to be able to clone anything but the "master" branch:

kramer[2] cd ~/build/plt/
kramer[3] git branch -a
* master
  remotes/origin/HEAD -> origin/master
  remotes/origin/master
  remotes/origin/release
  remotes/origin/ryanc/sp-parser-tools
  remotes/origin/samth/match-for
  remotes/origin/samth/match-syntax-parse
  remotes/origin/samth/new-logic2
  remotes/origin/samth/preserve-letrec
  remotes/origin/samth/ts-new-logic
  remotes/origin/samth/ts-new-logic-fixed
  remotes/origin/samth/typed-check-syntax
  remotes/origin/samth/unit-hacking
  remotes/origin/sstrickl/cc-init-phase2
  remotes/origin/sstrickl/contract-paths
  remotes/origin/sstrickl/mred-contracts
  remotes/origin/sstrickl/unit-ctc-fix
kramer[5] git clone plt plt-release
Initialized empty Git repository in /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/.git/
Checking out files: 100% (8688/8688), done.
kramer[6] cd plt-release
kramer[7] git branch -a
* master
  remotes/origin/HEAD -> origin/master
  remotes/origin/master
kramer[8] cd ..
kramer[9] rm -rf plt-release
kramer[10] git clone -b remotes/origin/release plt plt-release
Initialized empty Git repository in /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/.git/
warning: Remote branch remotes/origin/release not found in upstream origin, using HEAD instead
kramer[11] rm -rf plt-release
kramer[12] git clone -b origin/release plt plt-release
Initialized empty Git repository in /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/.git/
warning: Remote branch origin/release not found in upstream origin, using HEAD instead
kramer[13] rm -rf plt-release
kramer[14] git clone -b release plt plt-release
Initialized empty Git repository in /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/.git/
warning: Remote branch release not found in upstream origin, using HEAD instead

I was hoping "git clone" would ... clone or something in the sense of
"create a copy with everything from the original repository", but that
doesn't seem to be the case.  I'm also getting the impression I don't
understand how git branch names work.  Help would be much appreciated ...

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla