Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ProofGeneral / PG issue stats
Last synced: 3 days ago
Total issues: 113
Total pull requests: 93
Average time to close issues: 5 months
Average time to close pull requests: 2 months
Total issue authors: 42
Total pull request authors: 21
Average comments per issue: 6.42
Average comments per pull request: 2.87
Merged pull requests: 74
Bot issues: 0
Bot pull requests: 0
Past year issues: 24
Past year pull requests: 55
Past year average time to close issues: 26 days
Past year average time to close pull requests: 19 days
Past year issue authors: 16
Past year pull request authors: 12
Past year average comments per issue: 4.17
Past year average comments per pull request: 1.98
Past year merged pull requests: 46
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ProofGeneral%2FPG
Issue Author Associations
- None (58, 51.33%)
- Contributor (30, 26.55%)
- Member (18, 15.93%)
- Collaborator (7, 6.19%)
Pull Request Author Associations
- Collaborator (56, 60.22%)
- Contributor (26, 27.96%)
- Member (7, 7.53%)
- None (4, 4.30%)
Top Issue Authors
- jonleivent (17)
- JasonGross (16)
- cpitclaudel (15)
- RalfJung (7)
- hendriktews (6)
- Matafou (5)
- YaZko (4)
- tchajed (3)
- samuelgruetter (2)
- erikmd (2)
- ElifUskuplu (2)
- SimonBoulier (2)
- vzaliva (2)
- aa755 (2)
- sdconsta (1)
Top Pull Request Authors
- hendriktews (56)
- JasonGross (6)
- Matafou (6)
- cpitclaudel (5)
- tchajed (2)
- gasche (2)
- erikmd (2)
- RalfJung (1)
- pitmonticone (1)
- ruipedro16 (1)
- rssoc (1)
- hoheinzollern (1)
- strub (1)
- jgarte (1)
- ayanamists (1)
All Maintainers
- hendriktews (62)
- cpitclaudel (20)
- erikmd (4)
- DavidAspinall (1)
- psteckler (1)
Active Maintainers
- hendriktews (45)
- erikmd (2)
Top Issue Labels
- kind: bug (8)
- resolved: duplicate (4)
- pg: proof-shell (2)
- kind: enhancement (2)
- resolved: wontfix (2)
- priority: high (1)
- kind: question (1)
- kind: fix (1)
- part: indentation (1)
- kind: test (1)
- needs: documentation (1)
- issue: upstream (1)
- help wanted (1)
Top Pull Request Labels
- kind: enhancement (6)
- kind: fix (6)
- kind: test (2)
- kind: infrastructure (2)
- part: indentation (1)
- pg: proof-shell (1)
- priority: high (1)
- kind: documentation (1)
- part: coq-compile (1)