Learn more about these different git repos.
Other Git URLs
f33d070
CI/CD: Disable doc push temporarily Let's temporarily disable the doc push until <https://pagure.io/pagure/issue/3919> is fixed.