Repository navigation

OpenConceptLab/ocl_issues#2946 | Labelled Filters button; filters start open on wide screens on repo pages and repository lists - #72

Merged

paynejd merged 2 commits into

mainfrom

ocl_issues-2946-filters-button

Oct 22, 2026

Merged

OpenConceptLab/ocl_issues#2946 | Labelled Filters button; filters start open on wide screens on repo pages and repository lists#72
paynejd merged 2 commits into
mainfrom
ocl_issues-2946-filters-button

Commits on Oct 22, 2026
- closes OpenConceptLab/ocl_issues#2946 | labelled Filters button; filters start open on wide screens on repo pages and repository lists
  
  paynejd
  and
  claude
  committed
  97f0eee
- OpenConceptLab/ocl_issues#2946 | Filters count ignores the exclude flag and counts reference filters
  
  paynejd
  and
  claude
  committed
  a5929ec