Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MichaelMorami issue stats
Total issues: 4
Total pull requests: 10
Merged pull request: 7
Average time to close issues: 5 months
Average time to close pull requests: 11 days
Average comments per issue: 0.5
Average comments per pull request: 0.5
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (2, 50.00%)
- Owner (2, 50.00%)
Pull Request Author Associations
- Contributor (6, 60.00%)
- Collaborator (4, 40.00%)
Top Issue Labels
- certora (2)
Top Pull Request Labels
- Certora (1)