Total issues: 148
Total pull requests: 52
Average time to close issues: 21 days
Average time to close pull requests: about 1 month
Total issue authors: 40
Total pull request authors: 14
Average comments per issue: 1.33
Average comments per pull request: 1.62
Merged pull requests: 17
Bot issues: 0
Bot pull requests: 0

Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• Contributor (61, 41.22%)
• Member (48, 32.43%)
• None (39, 26.35%)

Pull Request Author Associations

• Contributor (32, 61.54%)
• Member (16, 30.77%)
• None (4, 7.69%)

Top Issue Authors

• leodemoura (48)
• soonhokong (26)
• avigad (17)
• semorrison (9)
• kevinsullivan (5)
• kbuzzard (3)
• andres-erbsen (2)
• johoelzl (2)
• digama0 (2)
• joehendrix (2)
• JasonGross (2)
• mrakgr (2)
• alisever (1)
• mrhaandi (1)
• mrmartin (1)

Top Pull Request Authors

• Kha (14)
• soonhokong (8)
• nunoplopes (6)
• digama0 (6)
• cipher1024 (4)
• semorrison (4)
• gebner (2)
• khoek (2)
• bryangingechen (1)
• andrejtokarcik (1)
• huma23 (1)
• solson (1)
• kckennylau (1)
• agentultra (1)

All Maintainers

• leodemoura (48)
• Kha (14)
• gebner (2)

Active Maintainers

Top Issue Labels

• bug (11)
• duplicate (1)
• P-low (1)
• A-smt (1)

Top Pull Request Labels