On Oct 28, 2010, at 3:05 PM, Casey Klein wrote: > On Thu, Oct 28, 2010 at 1:25 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: >> >> More immediately, it's time for you to try out the "gr2" branch for >> everyday work. > > In case there's anyone else who wants to try but (somehow) knows even > less about git than I do, here's what I did to checkout the branch. > > $ git clone g...@git.racket-lang.org:plt gr2
If you're only interested in that branch when cloning, you can clone with the "-b" option and the branch name: git clone g...@git.racket-lang.org:plt -b gr2 gr2 Stevie _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
