jcommelin / queueboard

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

refactor: track different kinds of tables in the Python script #23

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

This sets the ground-work for #16: mapping files to PR tables will allow merging json files on the Python side.