Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aerabi issue stats
Total issues: 41
Total pull requests: 34
Merged pull request: 32
Average time to close issues: about 2 months
Average time to close pull requests: 2 days
Average comments per issue: 1.37
Average comments per pull request: 0.03
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (24, 58.54%)
- Owner (13, 31.71%)
- None (4, 9.76%)
Pull Request Author Associations
- Contributor (20, 58.82%)
- Owner (12, 35.29%)
- None (2, 5.88%)
Top Issue Labels
- hacktoberfest (19)
- good first issue (16)
- operator-request (5)
- feature (5)
- move-project (2)
- coq-library (2)
- lifecycle/locked (1)
- bug (1)
- documentation (1)
Top Pull Request Labels
- good first issue (2)
- easter-egg (2)