Comment by nicogevers

Mostly we use github. Using pull requests is a great way to being able to review code commits.