Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sonmarcho issue stats
Total issues: 57
Total pull requests: 69
Merged pull request: 68
Average time to close issues: 5 months
Average time to close pull requests: 5 days
Average comments per issue: 0.47
Average comments per pull request: 0.07
Issues created
Pull requests created
Maintainer
- AeneasVerif/aeneas: 121
Active Maintainer
Issue Author Associations
- Member (54, 94.74%)
- Contributor (3, 5.26%)
Pull Request Author Associations
- Member (67, 97.10%)
- Contributor (2, 2.90%)
Top Issue Labels
- kind: bug (3)
- incompleteness (2)
- priority: not yet (2)
- during 2: compilation of correct program (2)
- part: verifier (1)
- misc: instability (1)