GitHub / fixpoint issue stats
Total issues: 8
Total pull requests: 153
Merged pull request: 52
Average time to close issues: 5 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.5
Average comments per pull request: 0.22
Issues created
Pull requests created
Issue owner Associations
- None (4, 50.00%)
- Contributor (2, 25.00%)
- Member (2, 25.00%)
Pull Request owner Associations
- Contributor (131, 85.62%)
- Member (18, 11.76%)
- None (4, 2.61%)
All Maintainers
- lambdalisue (20)
Active Maintainers
- lambdalisue (1)
Top Issue Authors
- lambdalisue (2)
- armanrahman22 (1)
- ChristopheBeke (1)
- gungorbudak (1)
- papadeltasierra (1)
- petamas (1)
- Svenum (1)
Top Pull Request Authors
- dependabot[bot] 🤖 (121)
- lambdalisue (21)
- petamas (3)
- github-actions[bot] 🤖 (2)
- ChristopheBeke (1)
- darie-picu (1)
- gungorbudak (1)
- pksorensen (1)
- sindrehan (1)
- ssiwan (1)
Top Issue Labels
- question (2)
- invalid (1)
Top Pull Request Labels
- dependencies (122)
- automation (2)