Learn more about these different git repos.
Other Git URLs
32c1ea9
Acquire lock in operations changing the git repos Signed-off-by: Patrick Uiterwijk <puiterwijk@redhat.com>