Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ohad issue stats
Total issues: 20
Total pull requests: 35
Merged pull request: 22
Average time to close issues: 8 months
Average time to close pull requests: 12 days
Average comments per issue: 2.5
Average comments per pull request: 0.89
Issues created
Pull requests created
Maintainer
- kasiamarek/tyre: 10
- idris-lang/Idris2: 6
- ohad/paella: 5
- ohad/collie: 5
- ohad/idris-setoid: 1
- kasiamarek/sedris: 1
Active Maintainer
- ohad/paella: 5
- ohad/idris-setoid: 1
Issue Author Associations
- None (12, 60.00%)
- Collaborator (7, 35.00%)
- Owner (1, 5.00%)
Pull Request Author Associations
- None (11, 31.43%)
- Owner (10, 28.57%)
- Collaborator (10, 28.57%)
- Contributor (4, 11.43%)
Top Issue Labels
- status: confirmed bug (3)
- scope: public (3)
- Feature request (2)
- language: namespace (2)
- scope: hide (2)
- good first issue (1)
- language: forward-definition (1)
- enhancement (1)
- safety: coverage (1)
- safety: proof of false (1)
- implem: pattern-matching (1)
- language: record (1)
- language: generalisation (1)