Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Matafou issue stats
Total issues: 16
Total pull requests: 7
Merged pull request: 4
Average time to close issues: 2 months
Average time to close pull requests: 26 days
Average comments per issue: 3.75
Average comments per pull request: 7.57
Issues created
- ProofGeneral/PG: 5
- cpitclaudel/company-coq: 4
- SRI-CSL/yices2: 2
- coq/stdlib2: 2
- coq/coq: 1
- cpitclaudel/CoqPL16: 1
- ocaml/tuareg: 1
Pull requests created
- ProofGeneral/PG: 6
- coq/coq: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (9, 56.25%)
- Contributor (6, 37.50%)
- Collaborator (1, 6.25%)
Pull Request Author Associations
- Contributor (7, 100.00%)
Top Issue Labels
- kind: bug (3)
- pg: proof-shell (1)
- priority: high (1)
Top Pull Request Labels
- kind: fix (2)
- kind: enhancement (2)
- needs: full CI (1)
- part: indentation (1)
- pg: proof-shell (1)
- priority: high (1)