GitHub / danielsn issue stats
Total issues: 100
Total pull requests: 150
Merged pull request: 116
Average time to close issues: over 2 years
Average time to close pull requests: 8 days
Average comments per issue: 1.15
Average comments per pull request: 1.35
Issues created
Pull requests created
Maintainer
- sri-csl/bixie: 1
- danielsn/kani: 1
Active Maintainer
Issue Author Associations
- Contributor (93, 93.00%)
- None (6, 6.00%)
- Collaborator (1, 1.00%)
Pull Request Author Associations
- Contributor (149, 99.33%)
- Owner (1, 0.67%)
Top Issue Labels
- [C] Feature / Enhancement (16)
- [C] Bug (8)
- [C] Internal (7)
- T-CBMC (4)
- [C] Documentation (3)
- [E] Unsupported Construct (3)
- feature-request (3)
- priority/low (3)
- p3 (3)
- priority/medium (3)
- size/small (2)
- good first issue (2)
- [I] Refactoring / Clean Up (2)
- type/debug (2)
- size/medium (2)
Top Pull Request Labels
- profiling (55)
- crashtracker (23)
- common (19)
- ci-build (17)
- telemetry (5)
- sidecar (4)
- mini-agent (3)
- data-pipeline (2)
- stale (1)