Learn more about these different git repos.
Other Git URLs
https://docs.pagure.org/pagure/configuration.html
No THEME.
It is documented in a dedicated section: https://docs.pagure.org/pagure/usage/theming.html but we should refer to it in the main configuration page indeed.
Metadata Update from @pingou: - Issue tagged with: bug, doc, easyfix
Metadata Update from @pingou: - Issue set to the milestone: 5.3
Metadata Update from @pingou: - Issue assigned to pingou
Won't steal this for now, but @pingou you mind if i get this one done?
@pingou https://pagure.io/pagure/pull-request/4172
Most often I don't but all the issues I've assigned to me in the 5.3 milestones I actually have/had the fixes ready for them. Since they are for the 5.3 milestones I was just waiting on 5.2 to be released before opening the corresponding PR (see the PR list right now :)). So I had a fix ready for this one as well: https://pagure.io/pagure/pull-request/4176
I'll see to merge both commits into your PR and keep #4176 for the second commit I've made.
Commit 2db9011 fixes this issue
Login to comment on this ticket.