Total issues: 238
Total pull requests: 201
Average time to close issues: 8 months
Average time to close pull requests: about 2 months
Total issue authors: 55
Total pull request authors: 46
Average comments per issue: 3.22
Average comments per pull request: 2.37
Merged pull requests: 167
Bot issues: 0
Bot pull requests: 0

Past year issues: 126
Past year pull requests: 160
Past year average time to close issues: 19 days
Past year average time to close pull requests: 15 days
Past year issue authors: 34
Past year pull request authors: 32
Past year average comments per issue: 2.29
Past year average comments per pull request: 2.36
Past year merged pull requests: 136
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• Collaborator (96, 40.34%)
• Contributor (57, 23.95%)
• None (37, 15.55%)
• Member (8, 3.36%)

Pull Request Author Associations

• Contributor (91, 45.27%)
• Collaborator (54, 26.87%)
• None (14, 6.97%)
• Member (7, 3.48%)

Top Issue Authors

• edwinb (66)
• spcfox (21)
• andrevidela (13)
• buzden (11)
• joelberkeley (9)
• gallais (8)
• ohad (5)
• srghma (4)
• jjl (4)
• dunhamsteve (4)
• Z-snails (3)
• eayus (2)
• barracuda156 (2)
• freddi301 (2)
• stepancheg (2)

Top Pull Request Authors

• dunhamsteve (20)
• buzden (19)
• mattpolzin (13)
• spcfox (12)
• andrevidela (11)
• ska80 (10)
• Matthew-Mosior (8)
• gallais (7)
• srhhma (6)
• fabianhjr (4)
• jfdm (4)
• GulinSS (3)
• barracuda156 (3)
• joelberkeley (3)
• stefan-hoeck (3)

All Maintainers

• edwinb (66)
• andrevidela (24)
• gallais (15)
• mattpolzin (13)
• dunhamsteve (11)
• buzden (10)
• ohad (6)
• Z-snails (6)
• jfdm (4)
• melted (3)
• madman-bob (2)
• ziman (2)
• CodingCellist (2)
• mjustus (1)

Active Maintainers

• andrevidela (19)
• dunhamsteve (10)
• mattpolzin (8)
• gallais (6)
• buzden (5)
• Z-snails (4)
• mjustus (1)

Top Issue Labels

• status: confirmed bug (40)
• Feature request (28)
• Installation Issue (15)
• good first issue (10)
• safety: proof of false (8)
• error: bad message (6)
• status: expected behaviour (6)
• language: quantity (6)
• language: interface (5)
• implem: inference (4)
• language: let (4)
• safety: coverage (4)
• interactive: case (4)
• implem: parsing (4)
• safety: totality (3)
• cli: repl (3)
• scope: public (3)
• implem: scope (3)
• implem: termination checking (3)
• language: data (3)
• admin: faq (3)
• language: where (3)
• implem: interface elaboration (3)
• implem: pattern-matching (3)
• status: duplicate (3)
• language: codata (2)
• language: namespace (2)
• status: invalid (2)
• library: base (2)
• language: case (2)

Top Pull Request Labels

• documentation (7)
• library: base (7)
• enhancement (6)
• status: confirmed bug (5)
• os: nix (4)
• admin: packaging (3)
• performance (3)
• library: linear (3)
• code: cleanup (3)
• error: reporting (2)
• implem: search (2)
• implem: elaboration (2)
• language: quantity (2)
• backend: chez (2)
• language: reflection (2)
• admin: continuous-integration (2)
• library: contrib (2)
• backend: html (2)
• typo (2)
• implem: pretty printing (1)
• backend: refc (1)
• cli: options (1)
• language: packaging (1)
• library: support (1)
• language: fixity (1)
• status: discussion (1)
• language: let (1)
• language: implicit (1)
• language: auto-implicit (1)
• backend: chez-sep (1)