Learn more about these different git repos.
Other Git URLs
@@ -4,6 +4,10 @@
Pagure offers a wide varieties of options that must or can be used to
adjust its behavior.
+ All of these options can be edited or added to your configuration file.
+ If you have installed pagure, this configuration file is likely located in
+ ``/etc/pagure/pagure.cfg``. Otherwise, it will depend on your
Pretty please pagure-ci rebuild
Let's merge https://pagure.io/pagure/pull-request/4172 first since it contains one of these two commits :)
Going to kick out the commit from #4172 and push the other one
rebased onto dde1e3d
Pull-Request has been merged by pingou