Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / franck44 issue stats
Total issues: 32
Total pull requests: 4
Merged pull request: 3
Average time to close issues: over 1 year
Average time to close pull requests: 4 days
Average comments per issue: 2.41
Average comments per pull request: 2.75
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (21, 65.63%)
- Contributor (11, 34.38%)
Pull Request Author Associations
- Contributor (3, 75.00%)
- None (1, 25.00%)
Top Issue Labels
- Stale (9)
- kind: bug (3)
- enhancement (3)
- question (3)
- scope:fork-choice (2)
- bug (2)
- move-prover (2)
- kind: enhancement (1)
- general:presentation (1)
- part: formatter (1)
- priority: next (1)
- during 2: compilation of correct program (1)
- stale-exempt (1)
- documentation (1)
- visibility (1)