Last week at PLT day, there was some discussion about code review, and how to potentially integrate it with our workflow.
I found the following tool which may help: http://code.google.com/p/gerrit/ If I understand correctly, commits that are pushed don't go directly to the main repository; instead, they go to an intermediate repo, where any authorized user can approve them and push them to the main repo. Vincent _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
