#4155 THEME is undocumented
Closed: Fixed 9 months ago by pingou. Opened 10 months ago by techtonik.


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

9 months ago

Metadata Update from @pingou:
- Issue set to the milestone: 5.3

9 months ago

Metadata Update from @pingou:
- Issue assigned to pingou

9 months ago

Won't steal this for now, but @pingou you mind if i get this one done?

Won't steal this for now, but @pingou you mind if i get this one done?

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.

Login to comment on this ticket.

Metadata
Related Pull Requests
  • #4172 Merged 9 months ago