Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Villetaneuse issue stats
Total issues: 5
Total pull requests: 32
Merged pull request: 25
Average time to close issues: 16 days
Average time to close pull requests: 12 days
Average comments per issue: 2.0
Average comments per pull request: 3.97
Issues created
- jscoq/jscoq: 4
- coq/platform-docs: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 80.00%)
- Collaborator (1, 20.00%)
Pull Request Author Associations
- Contributor (17, 53.13%)
- Collaborator (13, 40.63%)
- None (2, 6.25%)
Top Issue Labels
Top Pull Request Labels
- kind: cleanup (2)
- needs: rebase (2)
- needs: full CI (2)
- part: standard library (1)
- kind: enhancement (1)
- kind: documentation (1)
- part: modules (1)
- stale (1)