gillian-guide/.github

Metrics for the organization