Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hendriktews issue stats
Total issues: 8
Total pull requests: 57
Merged pull request: 48
Average time to close issues: 10 days
Average time to close pull requests: 3 months
Average comments per issue: 3.13
Average comments per pull request: 1.95
Issues created
Pull requests created
Maintainer
- ProofGeneral/PG: 62
Active Maintainer
- ProofGeneral/PG: 45
Issue Author Associations
- Collaborator (6, 75.00%)
- None (2, 25.00%)
Pull Request Author Associations
- Collaborator (56, 98.25%)
- None (1, 1.75%)
Top Issue Labels
- enhancement (2)
- kind: bug (1)
- kind: test (1)
Top Pull Request Labels
- kind: fix (3)
- kind: enhancement (2)
- kind: test (2)
- kind: infrastructure (2)
- kind: documentation (1)
- part: coq-compile (1)