[racket-dev] Git

From: Eli Barzilay (eli at barzilay.org)
Date: Fri Jan 7 15:39:07 EST 2011

Yesterday, Carl Eastlund wrote:
> First do a "git fetch <remote-name>" for that remote, or just "git
> remote update" which fetches from all your remotes.  Then "git reset
> --hard <remote-name>/master" will clobber whatever you have and
> replace it with the remote's master branch.

Note that this changes the current branch.  (IOW, it can be tricky
when the current branch is not `master'.)
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.