Total issues: 1,161
Total pull requests: 1,215
Average time to close issues: 7 months
Average time to close pull requests: 14 days
Total issue authors: 144
Total pull request authors: 50
Average comments per issue: 2.9
Average comments per pull request: 0.59
Merged pull requests: 946
Bot issues: 0
Bot pull requests: 26

Past year issues: 250
Past year pull requests: 357
Past year average time to close issues: 22 days
Past year average time to close pull requests: 8 days
Past year issue authors: 59
Past year pull request authors: 27
Past year average comments per issue: 3.31
Past year average comments per pull request: 0.52
Past year merged pull requests: 264
Past year bot issues: 0
Past year bot pull requests: 6

Issue Author Associations

• Member (494, 42.55%)
• None (361, 31.09%)
• Collaborator (213, 18.35%)
• Contributor (93, 8.01%)

Pull Request Author Associations

• Member (638, 52.51%)
• Collaborator (408, 33.58%)
• Contributor (160, 13.17%)
• None (9, 0.74%)

Top Issue Authors

• MikaelMayer (149)
• robin-aws (146)
• keyboardDrummer (133)
• RustanLeino (87)
• cpitclaudel (48)
• erniecohen (38)
• atomb (37)
• davidcok (35)
• hmijail (24)
• seebees (22)
• fabiomadge (20)
• ajewellamz (18)
• aws-crypto-tools-ci-bot (17)
• dafny-lang-bot (16)
• sorawee (15)

Top Pull Request Authors

• keyboardDrummer (367)
• MikaelMayer (176)
• atomb (123)
• RustanLeino (105)
• robin-aws (82)
• fabiomadge (66)
• davidcok (44)
• alex-chew (32)
• shadaj (31)
• dependabot[bot] 🤖 (26)
• jtristan (24)
• Dargones (24)
• olivier-aws (13)
• ssomayyajula (12)
• stefan-aws (9)

All Maintainers

• keyboardDrummer (500)
• MikaelMayer (325)
• robin-aws (228)
• RustanLeino (192)
• atomb (160)
• fabiomadge (86)
• davidcok (79)
• cpitclaudel (49)
• shadaj (32)
• Dargones (23)
• ajewellamz (23)
• stefan-aws (12)
• dschoepe (11)
• seanmcl (10)
• zafer-esen (6)

Active Maintainers

• MikaelMayer (145)
• keyboardDrummer (134)
• RustanLeino (50)
• robin-aws (42)
• fabiomadge (22)
• ajewellamz (21)
• atomb (4)
• dschoepe (3)
• stefan-aws (2)
• Dargones (1)
• jaylorch (1)

Top Issue Labels

• kind: bug (654)
• kind: enhancement (252)
• priority: not yet (152)
• part: verifier (116)
• during 2: compilation of correct program (105)
• part: resolver (99)
• priority: next (86)
• part: code-generation (79)
• kind: language development speed (67)
• crash (67)
• status: fixed (65)
• part: documentation (52)
• lang: java (48)
• during 1: program development (44)
• part: language server (42)
• during 3: execution of incorrect program (33)
• area: error-reporting (33)
• incompleteness (32)
• part: standard libraries (26)
• has-workaround: yes (23)
• release-blocker (23)
• lang: c# (23)
• part: language definition (23)
• misc: cleanup (22)
• invalid translated code (18)
• misc: brittleness (17)
• area: performance (17)
• lang: python (17)
• severity: release-blocker (17)
• testing-method: uniform-backend-testing (16)

Top Pull Request Labels

• run-deep-tests (69)
• dependencies (26)
• github_actions (18)
• run-integration-tests (15)
• ruby (7)
• severity: release-blocker (3)
• part: counterexamples (3)
• skip-deep-tests (1)
• need-check-proof-variability (1)
• makes-mikael-grateful (1)
• breaking-change (1)
• .NET (1)