feat: display empty tables more concisely

jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 4 forks source link

feat: display empty tables more concisely #14

Closed grunweg closed 3 months ago

grunweg commented 3 months ago

Replace empty tables by a line "there are no PRs, congratulations". Fixes #12.

grunweg commented 3 months ago

I could not test the "change empty tables" commit locally (I guess because my gh or jq version is older... I have not really tried to debug this), so testing this once locally would be nice. Happy to split that out, if it proves to be controversial.

grunweg commented 3 months ago

I split the first half of these changes into #18.

grunweg commented 3 months ago

I have rebased this PR now; should be good to re-test and then (if working) merge.