Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / OwenConoly issue stats
Total issues: 2
Total pull requests: 18
Merged pull request: 12
Average time to close issues: 4 days
Average time to close pull requests: about 1 month
Average comments per issue: 8.5
Average comments per pull request: 8.22
Issues created
- coq/coq: 1
- mit-plv/fiat-crypto: 1
Pull requests created
- mit-plv/fiat-crypto: 8
- mit-plv/bedrock2: 3
- mit-plv/riscv-coq: 2
- coq/coq: 2
- mit-plv/rupicola: 1
- mit-plv/rewriter: 1
- mit-plv/coqutil: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (1, 50.00%)
- Collaborator (1, 50.00%)
Pull Request Author Associations
- Collaborator (8, 44.44%)
- None (5, 27.78%)
- Contributor (5, 27.78%)
Top Issue Labels
- platform: Windows (1)
- kind: bug (1)
- needs: triage (1)
Top Pull Request Labels
- needs: full CI (2)