Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / alexf91 issue stats
Total issues: 28
Total pull requests: 2
Merged pull request: 2
Average time to close issues: about 2 months
Average time to close pull requests: 5 months
Average comments per issue: 0.32
Average comments per pull request: 0.0
Issues created
Pull requests created
Maintainer
- alexf91/lean4-ctypes: 13
- alexf91/ltest: 12
- alexf91/WSPR-Beacon: 1
Active Maintainer
Issue Author Associations
- Owner (26, 92.86%)
- None (2, 7.14%)
Pull Request Author Associations
- Contributor (2, 100.00%)
Top Issue Labels
- enhancement (6)
- bug (1)
- important (1)