Triaging the building of APIs

Stream: PhysLean

[Joseph Tooby-Smith]

Currently the requirements for given APIs around PhysLean are in the GitHub issues: https://github.com/lean-phys-community/PhysLean/issues.

I think it would be nice to be able to triage individual requirements so we can determine what is a priority and what needs working on asap and what can be waited on. This may constitute making a better dashboard for the APIs (the current one is https://physlean.com/APITracker.html), which is something I briefly talked with @Eric Vergo about.

If anyone has any ideas on how we could implement such a triaging I would be grateful. (Note I want to triage the requirements in the GitHub issues, not just the GitHub issues).