Learn more about these different git repos.
Other Git URLs
7bee87c
Also set-up redis if pagure-ci is configured