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 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
