feat: make the dashboard titles hyperlinks

jcommelin / queueboard

Mathlib4 review and triage dashboard

https://jcommelin.github.io/queueboard/

Apache License 2.0

3 stars 3 forks source link

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

This way, a visitor can determine the link to a dashboard by right-clicking the heading and choosing 'copy link'.