Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Tragicus issue stats
Total issues: 18
Total pull requests: 115
Merged pull request: 63
Average time to close issues: 7 months
Average time to close pull requests: 21 days
Average comments per issue: 1.67
Average comments per pull request: 3.7
Issues created
Pull requests created
- math-comp/math-comp: 31
- math-comp/abel: 15
- coq/coq: 11
- math-comp/analysis: 9
- math-comp/real-closed: 6
- math-comp/cad: 6
- LPCIC/coq-elpi: 6
- math-comp/odd-order: 6
- coq-community/fourcolor: 3
- coq-community/coqeal: 3
- math-comp/trajectories: 2
- UniMath/UniMath: 2
- math-comp/algebra-tactics: 2
- coq-community/apery: 2
- HoTT/Coq-HoTT: 2
- math-comp/mczify: 2
- coq-community/bits: 1
- affeldt-aist/infotheo: 1
- mit-pdos/perennial: 1
- coq-community/gaia: 1
- mit-plv/fiat: 1
- cohencyril/lip-ssr-tuto: 1
- imdea-software/fcsl-pcm: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (12, 66.67%)
- Contributor (5, 27.78%)
- Collaborator (1, 5.56%)
Pull Request Author Associations
- Contributor (84, 73.04%)
- None (21, 18.26%)
- Collaborator (10, 8.70%)
Top Issue Labels
- medium difficulty (4)
- high priority (2)
- easy difficulty (2)
- medium priority (2)
- low priority (2)
- urgent priority (1)
- Accepted (1)
- v3 (1)
- Code Example (1)
- kind: bug (1)
- needs: triage (1)
- needs: minimization (1)
Top Pull Request Labels
- needs: full CI (5)
- kind: performance (3)
- needs: progress (2)
- needs: squashing (2)
- kind: enhancement (2)
- part: elaboration (2)
- part: unification (2)
- part: ssreflect (1)
- needs: test-suite update (1)
- kind: fix (1)
- enhancement :sparkles: (1)
- needs: merge of dependencies (1)
- needs: fixing (1)