enhancementgood first issue
Repository metrics
- Stars
- (0 stars)
- PR merge metrics
- (PR metrics pending)
Description
Enhance the metrics gathered by the informations menu.
By "enhance" I mean add meaningful metrics to the report.
When committing, remember to respect naming conventions. Note that commits will be squashed upon merge, so only the first commit's name really matters.