GitHub / MiniZinc issue stats
Total issues: 55
Total pull requests: 279
Merged pull request: 214
Average time to close issues: 16 days
Average time to close pull requests: 14 days
Average comments per issue: 2.49
Average comments per pull request: 0.41
Issues created
Pull requests created
Issue owner Associations
- None (50, 90.91%)
- Contributor (4, 7.27%)
- Member (1, 1.82%)
Pull Request owner Associations
- Contributor (159, 56.99%)
- Member (113, 40.50%)
- None (7, 2.51%)
Top Issue Authors
- ptal (5)
- hadipourh (3)
- aklein3 (2)
- jplauri (2)
- tias (2)
- jmjrawlings (2)
- informarte (2)
- adamgoldfeld (1)
- LebedevRI (1)
- maartenflippo (1)
- marcovc (1)
- MaxOstrowski (1)
- mhechthz (1)
- m-ober (1)
- mrakgr (1)
Top Pull Request Authors
- dependabot[bot] 🤖 (120)
- Dekker1 (72)
- cyderize (41)
- hbierlee (27)
- AllenZzw (5)
- ilansen (3)
- vitor1001 (1)
- StefanBruens (1)
- lgtm-com[bot] 🤖 (1)
- kyliank (1)
- kletzi (1)
- jmjrawlings (1)
- guilhas07 (1)
- fanosta (1)
- EricGT (1)
Top Issue Labels
- enhancement (6)
- bug (4)
- help wanted (1)
- wontfix (1)
Top Pull Request Labels
- dependencies (120)
- python (55)
- javascript (35)
- github_actions (7)
- enhancement (1)