GitHub / chrjabs issue stats
Total issues: 17
Total pull requests: 166
Merged pull request: 120
Average time to close issues: about 1 month
Average time to close pull requests: 12 days
Average comments per issue: 1.12
Average comments per pull request: 0.55
Issues created
Pull requests created
- chrjabs/rustsat: 126
- NixOS/nixpkgs: 8
- Udopia/gbdc: 7
- Udopia/gbd: 6
- scipopt/papilo: 6
- borisveytsman/crossrefware: 2
- josephwright/beamer: 2
- Udopia/gbd-data: 2
- jeertmans/manim-slides: 2
- kamiyaa/joshuto: 2
- nextest-rs/nextest: 2
- PyO3/maturin: 1
Maintainer
- chrjabs/rustsat: 135
Active Maintainer
- chrjabs/rustsat: 96
Issue Author Associations
- Owner (9, 52.94%)
- None (6, 35.29%)
- Contributor (2, 11.76%)
Pull Request Author Associations
- Owner (126, 75.90%)
- Contributor (30, 18.07%)
- None (10, 6.02%)
Top Issue Labels
- enhancement (3)
- C-bug (2)
- solvers (2)
- A-lint (1)
- cli (1)
- I-ICE (1)
- T-compiler (1)
- documentation (1)
Top Pull Request Labels
- release (8)
- solvers (5)
- solvers/cadical (5)
- 10.rebuild-linux: 101-500 (4)
- 10.rebuild-darwin: 101-500 (4)
- 6.topic: TeX (4)
- 12.approvals: 1 (3)
- 10.rebuild-linux: 1-10 (3)
- enhancement (2)
- 12.approved-by: package-maintainer (2)
- 10.rebuild-darwin: 0 (2)
- solvers/kissat (2)
- 6.topic: darwin (2)
- cli (2)
- solvers/batsat (1)