Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jfehrle issue stats
Total issues: 8
Total pull requests: 6
Merged pull request: 2
Average time to close issues: 3 days
Average time to close pull requests: 18 days
Average comments per issue: 0.88
Average comments per pull request: 8.83
Issues created
Pull requests created
- coq/coq: 4
- Mtac2/Mtac2: 2
Maintainer
- coq/coq: 9
Active Maintainer
Issue Author Associations
- Member (5, 62.50%)
- None (3, 37.50%)
Pull Request Author Associations
- Member (4, 66.67%)
- Contributor (2, 33.33%)
Top Issue Labels
- part: ltac2 (5)
- kind: question (2)
- kind: usability (1)
- kind: documentation (1)
Top Pull Request Labels
- needs: full CI (3)
- needs: rebase (2)
- kind: documentation (2)
- part: IDE (1)
- kind: question (1)
- part: ltac2 (1)
- needs: fixing (1)
- kind: cleanup (1)
- stale (1)