GitHub / jake-87 issue stats
Total issues: 10
Total pull requests: 8
Merged pull request: 5
Average time to close issues: about 2 months
Average time to close pull requests: 4 months
Average comments per issue: 3.1
Average comments per pull request: 4.13
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (9, 90.00%)
- Contributor (1, 10.00%)
Pull Request Author Associations
- Contributor (6, 75.00%)
- None (2, 25.00%)
Top Issue Labels
- ux: case splitting (2)
- new-language (1)
- request (1)
- C-new-algorithm (1)
- bug (1)
- enhancement (1)
- with (1)
- internal-error (1)
- coinduction (1)
- postfix-projections (1)
- Mimer (1)
- regression in 2.7.0 (1)
- type: enhancement (1)
- ux: interaction (1)
Top Pull Request Labels
- minor feature (1)
- 2.0 (1)
- WIP (1)
- bug (1)