bughelp wanted
Repository metrics
- Stars
- (15 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
I temporarily unpublished it because GitHub changed their dashboard style entirely.
Perhaps it's a good time to do #8 but I don't have much time at the moment.