Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / knisht issue stats
Total issues: 12
Total pull requests: 26
Merged pull request: 21
Average time to close issues: 5 days
Average time to close pull requests: 7 days
Average comments per issue: 0.5
Average comments per pull request: 1.77
Issues created
- JetBrains/Arend: 12
Pull requests created
Maintainer
- JetBrains/Arend: 28
- knisht/cpp-course-2018: 2
- knisht/hott: 1
Active Maintainer
Issue Author Associations
- Collaborator (12, 100.00%)
Pull Request Author Associations
- Collaborator (16, 61.54%)
- Contributor (6, 23.08%)
- Owner (3, 11.54%)
- None (1, 3.85%)
Top Issue Labels
- bug (4)
- prelude (2)
- level (1)
- termination (1)
- parser (1)
Top Pull Request Labels
- termination (2)
- pr: squash-me (2)