Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tlringer issue stats
Total issues: 241
Total pull requests: 47
Merged pull request: 45
Average time to close issues: 3 months
Average time to close pull requests: 9 days
Average comments per issue: 0.98
Average comments per pull request: 0.45
Issues created
- uwplse/PUMPKIN-PATCH: 76
- uwplse/pumpkin-pi: 47
- uwplse/coq-plugin-lib: 38
- uwplse/coq-change-analytics: 34
- agrarpan/coq-synthesis: 15
- coq-community/metaprogramming-rosetta-stone: 11
- uwplse/fix-to-elim: 8
- uwplse/magic: 8
- tlringer/ml-for-proofs: 1
- pavpanchekha/deadbot: 1
- uwplse/coqast: 1
- uwplse/pumpkin-git: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (224, 92.95%)
- None (16, 6.64%)
- Owner (1, 0.41%)
Pull Request Author Associations
- Collaborator (47, 100.00%)
Top Issue Labels
- enhancement (31)
- meta (22)
- bug (17)
- blocked (16)
- examples (8)
- question (8)
- review (6)
- help wanted (3)
- workflow (3)
- best practices (2)
- good first issue (2)
- metatheory (1)
- proof generation (1)
- wontfix (1)
- deployment needed (1)
Top Pull Request Labels
- enhancement (2)