GitHub / egraphs-good issue stats
Total issues: 92
Total pull requests: 92
Merged pull request: 61
Average time to close issues: 2 months
Average time to close pull requests: 26 days
Average comments per issue: 3.32
Average comments per pull request: 2.11
Issues created
- egraphs-good/egg: 92
Pull requests created
- egraphs-good/egg: 92
Issue owner Associations
- None (59, 64.13%)
- Contributor (23, 25.00%)
- Member (10, 10.87%)
Pull Request owner Associations
- Contributor (55, 59.78%)
- Member (24, 26.09%)
- None (13, 14.13%)
Top Issue Authors
- bjchambers (7)
- mwillsey (5)
- Kixiron (3)
- Bastacyclop (3)
- bksaiki (3)
- oflatt (3)
- rosekunkel (3)
- meithecatte (2)
- MostAwesomeDude (2)
- khaki3 (2)
- ntcmp2u (2)
- KarelPeeters (2)
- remysucre (2)
- rkjones4 (2)
- Gary-oak-Star (2)
Top Pull Request Authors
- oflatt (19)
- dewert99 (9)
- nlewycky (5)
- meithecatte (4)
- mtak- (3)
- mwillsey (3)
- cospectrum (3)
- bjchambers (3)
- yihozhang (3)
- Bastacyclop (2)
- mmp (2)
- imbrem (2)
- jakevossen5 (2)
- kayagokalp (2)
- remysucre (2)