GitHub / dnpetrov issue stats
Total issues: 4
Total pull requests: 10
Merged pull request: 10
Average time to close issues: 8 days
Average time to close pull requests: about 5 hours
Average comments per issue: 4.5
Average comments per pull request: 0.1
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 100.00%)
Pull Request Author Associations
- Contributor (10, 100.00%)
Top Issue Labels
- Duplicate 🐫 (1)
- Help Needed (1)
- Lang: Python (1)
- Solver: CP-SAT Solver (1)
- Needs triage :inbox_tray: (1)