Learn more about these different git repos.
Other Git URLs
c14c28a
docs: Abort update script on error If building documentation fails, there's no point in trying to update the repo. Signed-off-by: Lubomír Sedlář <lsedlar@redhat.com>