Learn more about these different git repos.
Other Git URLs
5ab53dc
Make it possible to only run gitolite post compilation stage when necessary