Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / thomas-lamiaux issue stats
Total issues: 36
Total pull requests: 21
Merged pull request: 7
Average time to close issues: 2 months
Average time to close pull requests: 15 days
Average comments per issue: 1.78
Average comments per pull request: 3.48
Issues created
Pull requests created
- coq/platform-docs: 10
- coq/coq: 3
- mattam82/Coq-Equations: 2
- coq/rfcs: 2
- coq/ceps: 2
- math-comp/math-comp: 1
- coq/rocq-prover.org: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (22, 61.11%)
- Contributor (11, 30.56%)
- None (3, 8.33%)
Pull Request Author Associations
- Collaborator (10, 47.62%)
- None (9, 42.86%)
- Contributor (2, 9.52%)
Top Issue Labels
- enhancement (3)
- bug (3)
Top Pull Request Labels
- needs: full CI (3)
- needs: squashing (2)
- bug feature (2)