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!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
