Learn more about these different git repos.
Other Git URLs
73c0080
Remove push.default from clone_default Fix #109 Signed-off-by: Chenxiong Qi <cqi@redhat.com>