Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rgrig issue stats
Total issues: 162
Total pull requests: 20
Merged pull request: 20
Average time to close issues: 10 months
Average time to close pull requests: almost 3 years
Average comments per issue: 0.88
Average comments per pull request: 2.65
Issues created
- rgrig/topl: 94
- rgrig/barista: 29
- rgrig/twitstat: 14
- rgrig/wmm-qbf: 7
- rgrig/texpar: 4
- rgrig/papers: 4
- rgrig/freeboogie: 2
- rgrig/rgrig-hp: 2
- websockets-rs/rust-websocket: 1
- rgrig/hacks: 1
- rgrig/systems-book: 1
- janestreet/core: 1
- ygrek/ocaml-extlib: 1
- janestreet/ppx_compare: 1
Pull requests created
Maintainer
- rgrig/topl: 94
- rgrig/barista: 29
- rgrig/twitstat: 14
- rgrig/wmm-qbf: 7
- rgrig/texpar: 4
- rgrig/papers: 4
- dorchard/lambda-club: 2
- rgrig/freeboogie: 2
- rgrig/rgrig-hp: 2
- rgrig/hacks: 1
- rgrig/systems-book: 1
Active Maintainer
Issue Author Associations
- Owner (158, 97.53%)
- None (4, 2.47%)
Pull Request Author Associations
- Contributor (18, 90.00%)
- Collaborator (2, 10.00%)
Top Issue Labels
- nice-to-have (21)
- bug (13)
- feature (10)
- safety (4)
- docs (2)
- maintanance (2)
- forwarded-to-js-devs (1)
- bincheck (1)
Top Pull Request Labels
- bug (15)