Metrics documentation
- New documentation about the community metrics
- Each metric is now described in a single document (#419 (closed))
-
project_metrics.md
has been modified to serve as an index and as a briefly introduction to project metrics (#424 (closed))