Learn more about these different git repos.
Other Git URLs
73e493b
Work around Pungi bug #362 Unfortunately, this change will not work once the fix is in, and will have to be reverted. Signed-off-by: Lubomír Sedlář <lsedlar@redhat.com>