Learn more about these different git repos.
Other Git URLs
141f001
Added update-docs script Script that updates html documentation git repository on Pagure. Signed-off-by: Ondřej Nosek <onosek@redhat.com>