Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / valis issue stats
Total issues: 125
Total pull requests: 0
Merged pull request: 0
Average time to close issues: 7 months
Average time to close pull requests: N/A
Average comments per issue: 0.7
Average comments per pull request: 0
Issues created
- JetBrains/intellij-arend: 57
- JetBrains/Arend: 46
- JetBrains/arend-lib: 20
- valis/hott: 2
Pull requests created
Maintainer
- JetBrains/intellij-arend: 57
- JetBrains/Arend: 46
- JetBrains/arend-lib: 20
- valis/hott: 2
Active Maintainer
Issue Author Associations
- Collaborator (123, 98.40%)
- Owner (2, 1.60%)
Pull Request Author Associations
Top Issue Labels
- help wanted (13)
- quickfix (11)
- pattern generator (10)
- feature (9)
- bug (7)
- enhancement (6)
- meta (5)
- D-medium (4)
- classes (4)
- repl (3)
- coercion (3)
- compiled (3)
- prelude (2)
- level (2)
- module-loader (2)