This is needed for Dashiki to be able to serve as a project-wide reportcard.
Can't just sum up numbers for editor metrics - need to deduplicate.
This is needed for Dashiki to be able to serve as a project-wide reportcard.
Can't just sum up numbers for editor metrics - need to deduplicate.