tweaks to labels - Githubissues

jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 4 forks source link

Closed bryangingechen closed 4 months ago

bryangingechen commented 4 months ago

make the entire label box a link
remove unnecessary whitespace (horizontal spacing between boxes is added in https://github.com/jcommelin/queueboard/pull/1)