Total issues: 28
Total pull requests: 72
Average time to close issues: 13 days
Average time to close pull requests: 9 days
Total issue authors: 6
Total pull request authors: 4
Average comments per issue: 1.61
Average comments per pull request: 0.82
Merged pull requests: 56
Bot issues: 0
Bot pull requests: 0

Past year issues: 28
Past year pull requests: 72
Past year average time to close issues: 13 days
Past year average time to close pull requests: 9 days
Past year issue authors: 6
Past year pull request authors: 4
Past year average comments per issue: 1.61
Past year average comments per pull request: 0.82
Past year merged pull requests: 56
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• Collaborator (23, 82.14%)
• None (3, 10.71%)
• Contributor (2, 7.14%)

Pull Request Author Associations

• Collaborator (68, 94.44%)
• Contributor (3, 4.17%)
• None (1, 1.39%)

Top Issue Authors

• Halbaroth (12)
• bclement-ocp (9)
• claudemarche (2)
• kanigsson (2)
• manmatteo (2)
• giltho (1)

Top Pull Request Authors

• Halbaroth (43)
• bclement-ocp (25)
• hra687261 (3)
• Sudha247 (1)

All Maintainers

• Halbaroth (55)
• bclement-ocp (34)
• claudemarche (2)

Active Maintainers

• Halbaroth (55)
• bclement-ocp (34)
• claudemarche (2)

Top Issue Labels

• bug (6)
• frontend (4)
• decysif (3)
• SAT (2)
• reasoning (2)
• adt (2)
• low-priority (2)
• models (2)
• instantiation (2)
• documentation (1)
• backlog (1)
• completeness (1)
• enhancement (1)
• javascript (1)
• triage (1)
• arithmetic (1)

Top Pull Request Labels

• clean-up (19)
• frontend (12)
• build (6)
• models (6)
• documentation (5)
• bug (5)
• javascript (4)
• SAT (2)
• testing (1)
• optimization (1)
• backporting (1)
• adt (1)
• completeness (1)
• 💣 soundness (1)
• bit-vectors (1)