Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cyrus- issue stats
Total issues: 99
Total pull requests: 9
Merged pull request: 5
Average time to close issues: 4 months
Average time to close pull requests: 2 months
Average comments per issue: 1.74
Average comments per pull request: 0.11
Issues created
- hazelgrove/hazel: 25
- hazelgrove/hz: 23
- hazelgrove/hazelnut-dynamics-agda: 22
- hazelgrove/hazelnut-popl17: 17
- hazelgrove/agda-popl17: 3
- mterwill/office-hours-help-queue: 2
- hazelgrove/diy-hazelnut: 2
- hazelgrove/graphics: 2
- simonpercivall/astunparse: 1
- hazelgrove/hazelgrove.github.io: 1
- hazelgrove/hazelnut-dynamics-paper: 1
Pull requests created
Maintainer
Active Maintainer
- hazelgrove/hazel: 15
Issue Author Associations
- Member (96, 96.97%)
- None (3, 3.03%)
Pull Request Author Associations
- Member (5, 55.56%)
- Contributor (3, 33.33%)
- None (1, 11.11%)
Top Issue Labels
- bug (18)
- camera-ready (12)
- critical (7)
- starter-project (5)
- per-JEA (5)
- citations (3)
- meta (2)
- final-artifact (2)
- metatheory of instantiation (2)
- performance (1)
- future-work (1)
- POPL polish (1)
- type safety (1)
- head scratchers (1)