Learn more about these different git repos.
Other Git URLs
aabc84f
Replace the jenkins hook by a more generic CI one