Total issues: 194
Total pull requests: 389
Average time to close issues: 10 months
Average time to close pull requests: 10 days
Total issue authors: 33
Total pull request authors: 20
Average comments per issue: 3.1
Average comments per pull request: 0.69
Merged pull requests: 352
Bot issues: 0
Bot pull requests: 0

Past year issues: 83
Past year pull requests: 375
Past year average time to close issues: 23 days
Past year average time to close pull requests: 2 days
Past year issue authors: 13
Past year pull request authors: 15
Past year average comments per issue: 1.11
Past year average comments per pull request: 0.58
Past year merged pull requests: 346
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• Member (83, 42.78%)
• Contributor (70, 36.08%)
• None (31, 15.98%)
• Collaborator (10, 5.15%)

Pull Request Author Associations

• Member (307, 78.92%)
• Contributor (46, 11.83%)
• Collaborator (34, 8.74%)
• None (2, 0.51%)

Top Issue Authors

• catalin-hritcu (58)
• briangmilnes (37)
• mtzguido (25)
• ckeller (13)
• VincentCheval (13)
• gebner (9)
• nikswamy (3)
• aseemr (3)
• amosr (2)
• msprotz (2)
• R1kM (2)
• mikhail-makarov (2)
• sirinath (2)
• artella-coding (2)
• kant2002 (2)

Top Pull Request Authors

• mtzguido (297)
• nikswamy (28)
• gebner (18)
• tahina-pro (8)
• W95Psp (7)
• briangmilnes (7)
• dzomo (5)
• TWal (3)
• jonahbeckford (2)
• kant2002 (2)
• Nadrieril (2)
• amosr (2)
• chandradeepdey (1)
• pnmadelaine (1)
• msprotz (1)

All Maintainers

• mtzguido (322)
• catalin-hritcu (58)
• nikswamy (31)
• tahina-pro (8)
• dzomo (5)
• aseemr (3)
• msprotz (3)
• R1kM (2)
• beurdouche (1)
• victor-dumitrescu (1)

Active Maintainers

• mtzguido (317)
• nikswamy (26)
• tahina-pro (8)
• dzomo (5)
• msprotz (3)

Top Issue Labels

• kind/bug (43)
• kind/enhancement (35)
• area/usability (6)
• kind/question (6)
• status/wont-fix (5)
• status/duplicate (4)
• area/error-messages (3)
• component/typechecker (3)
• component/extraction (2)
• component/examples (2)
• component/documentation (2)
• kind/unsoundness (2)
• component/effect-system (2)
• status/needs-input (2)
• area/proof-assistant (2)
• status/invalid (2)
• area/syntax (2)
• component/tactics (1)
• kind/discussion (1)
• component/tutorial (1)
• kind/meta-issue (1)
• component/ci (1)
• component/dm4free (1)
• milestone/everest-v1 (1)
• good first issue (1)
• status/needs-confirmation (1)
• component/libraries (1)
• hard (1)
• component/language-design (1)
• component/metatheory (1)

Top Pull Request Labels

• kind/enhancement (1)
• component/printer (1)