GitHub / MiniZinc issue stats
Total issues: 56
Total pull requests: 396
Merged pull request: 280
Average time to close issues: 14 days
Average time to close pull requests: 15 days
Average comments per issue: 1.98
Average comments per pull request: 0.39
Issues created
Pull requests created
- MiniZinc/minizinc-python: 223
- MiniZinc/minizinc-js: 116
- MiniZinc/mzn-bench: 51
- MiniZinc/iminizinc: 6
Issue owner Associations
- None (49, 87.50%)
- Contributor (5, 8.93%)
- Member (2, 3.57%)
Pull Request owner Associations
- Contributor (249, 62.88%)
- Member (130, 32.83%)
- None (16, 4.04%)
- Owner (1, 0.25%)
Top Issue Authors
- hadipourh (3)
- ptal (3)
- jplauri (2)
- aklein3 (2)
- jmjrawlings (2)
- tias (2)
- informarte (2)
- kristofferNorr (1)
- kyliank (1)
- LebedevRI (1)
- maartenflippo (1)
- marcovc (1)
- MaxOstrowski (1)
- mhechthz (1)
- m-ober (1)
Top Pull Request Authors
- dependabot[bot] 🤖 (207)
- Dekker1 (79)
- cyderize (51)
- hbierlee (26)
- AllenZzw (11)
- ilansen (5)
- vitor1001 (2)
- lgtm-com[bot] 🤖 (2)
- kletzi (2)
- EricGT (2)
- Dane99 (2)
- guilhas07 (1)
- fanosta (1)
- jmjrawlings (1)
- kyliank (1)
Top Issue Labels
- enhancement (5)
- bug (3)
- help wanted (1)
- wontfix (1)
- dependencies (1)
- javascript (1)
Top Pull Request Labels
- dependencies (207)
- python (108)
- javascript (66)
- github_actions (12)
- enhancement (2)