GitHub / james-whiteside issue stats
Total issues: 25
Total pull requests: 22
Merged pull request: 19
Average time to close issues: 7 months
Average time to close pull requests: about 1 month
Average comments per issue: 2.32
Average comments per pull request: 0.41
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (22, 88.00%)
- None (2, 8.00%)
- Contributor (1, 4.00%)
Pull Request Author Associations
- Contributor (18, 81.82%)
- Member (3, 13.64%)
- None (1, 4.55%)
Top Issue Labels
- type: feature (12)
- type: bug (12)
- priority: medium (7)
- priority: high (7)
- priority: low (5)
- domain: reasoner (3)
- domain: server (3)
- status: solved (2)
- domain: language (2)
- status: invalid (1)
- domain: storage (1)
- priority: blocker (1)