Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Tragicus issue stats
Total issues: 7
Total pull requests: 83
Merged pull request: 43
Average time to close issues: 4 months
Average time to close pull requests: 17 days
Average comments per issue: 1.43
Average comments per pull request: 3.57
Issues created
Pull requests created
- math-comp/math-comp: 21
- math-comp/abel: 15
- LPCIC/coq-elpi: 6
- math-comp/odd-order: 6
- coq/coq: 6
- math-comp/real-closed: 6
- math-comp/analysis: 5
- math-comp/cad: 4
- coq-community/coqeal: 3
- math-comp/mczify: 2
- coq-community/fourcolor: 2
- math-comp/algebra-tactics: 2
- math-comp/trajectories: 2
- cohencyril/lip-ssr-tuto: 1
- affeldt-aist/infotheo: 1
- imdea-software/fcsl-pcm: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (3, 42.86%)
- None (3, 42.86%)
- Collaborator (1, 14.29%)
Pull Request Author Associations
- Contributor (60, 72.29%)
- None (17, 20.48%)
- Collaborator (6, 7.23%)
Top Issue Labels
Top Pull Request Labels
- kind: performance (3)
- needs: merge of dependencies (3)
- needs: changelog entry (2)
- needs: full CI (2)
- part: ssreflect (1)
- needs: test-suite update (1)