feat: compute total time in review, and better "last updated"

jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 3 forks source link

feat: compute total time in review, and better "last updated" #44

Open grunweg opened 1 month ago

grunweg commented 1 month ago

... in two ways: one by hackily scraping information as in #35, and again using the new pr_info.sh script. After an initial round of fixes, both seem to agree in my limited testing so far.

grunweg commented 1 month ago

Careful with merging: #25 and #35 are slightly outdated now (I made another copy of the branches on this fork...) -> make sure to merge the right version.
"Ready for review" is actually present in this date; "marked as draft" is missing a date (-> calculations are unrealiable; the current output is Very Bogus, but any guess would be Bogus).