search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 4 forks source link

feat: make links to dashboard sections jump to a new section #41

Closed bryangingechen closed 2 months ago

bryangingechen commented 2 months ago

instead of opening in a new tab. This change is needed to override the <base target=_blank> in the head.

grunweg commented 2 months ago

Works as intended, makes sense, thanks! Merging.