Learn more about these different git repos.
Other Git URLs
d5c9198
Rework a little the layout of the branches shown on the front page