Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / EvaristeGalois11 issue stats
Total issues: 7
Total pull requests: 63
Merged pull request: 58
Average time to close issues: about 1 month
Average time to close pull requests: 8 days
Average comments per issue: 3.71
Average comments per pull request: 3.1
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (5, 71.43%)
- None (2, 28.57%)
Pull Request Author Associations
- Contributor (63, 100.00%)
Top Issue Labels
- type: enhancement (4)
- type: build (3)
- enhancement (2)
- package problem (1)
- in: test (1)
- in: web (1)
Top Pull Request Labels
- type: build (18)
- component: core (12)
- type: enhancement (9)
- type: bug (8)
- component: junit (7)
- type: documentation (7)
- type: tests (4)
- type/enhancement (1)