Total issues: 102
Total pull requests: 76
Average time to close issues: 4 months
Average time to close pull requests: 12 days
Total issue authors: 11
Total pull request authors: 7
Average comments per issue: 2.4
Average comments per pull request: 1.57
Merged pull requests: 72
Bot issues: 0
Bot pull requests: 0

Past year issues: 3
Past year pull requests: 0
Past year average time to close issues: about 2 months
Past year average time to close pull requests: N/A
Past year issue authors: 3
Past year pull request authors: 0
Past year average comments per issue: 2.33
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

• Member (29, 28.43%)
• Contributor (24, 23.53%)
• None (3, 2.94%)

Pull Request Author Associations

• Member (26, 34.21%)
• Contributor (18, 23.68%)

Top Issue Authors

• gebner (19)
• jvierling (15)
• quicquid (7)
• shetzl (5)
• loewenheim (3)
• mschlaipfer (2)
• marisgg (1)
• astahfrom (1)
• Lettmann (1)
• alanruttenberg (1)
• spamegg1 (1)

Top Pull Request Authors

• gebner (23)
• jvierling (10)
• quicquid (5)
• Ermine516 (2)
• loewenheim (2)
• shetzl (1)
• astahfrom (1)

All Maintainers

• gebner (42)
• shetzl (6)
• loewenheim (5)
• mschlaipfer (2)

Active Maintainers

Top Issue Labels

• Bug :beetle: (20)
• Prooftool :microscope: (3)
• Enhancement (2)
• Potential Student Project :mortar_board: (2)
• Documentation :clipboard: (1)
• Maintenance :wrench: (1)
• 💩 ⊢ ⊥ (1)
• User Manual 📙 (1)

Top Pull Request Labels

• Enhancement (4)