GitHub / karkhaz issue stats
Total issues: 81
Total pull requests: 233
Merged pull request: 108
Average time to close issues: 4 months
Average time to close pull requests: 30 days
Average comments per issue: 0.33
Average comments per pull request: 0.4
Issues created
Pull requests created
- karkhaz/tuscan: 75
- model-checking/kani: 25
- awslabs/aws-build-accumulator: 25
- freertos/coremqtt-agent: 19
- aws/Device-Shadow-for-AWS-IoT-embedded-sdk: 8
- model-checking/cbmc-starter-kit: 8
- freertos/corehttp: 7
- freertos/corejson: 7
- awslabs/aws-c-common: 6
- freertos/coremqtt: 6
- aws/Jobs-for-AWS-IoT-embedded-sdk: 6
- aws/SigV4-for-AWS-IoT-embedded-sdk: 6
- aws/Device-Defender-for-AWS-IoT-embedded-sdk: 6
- aws/aws-iot-device-sdk-embedded-C: 4
- freertos/coresntp: 4
- aws/ota-for-aws-iot-embedded-sdk: 4
- freertos/freertos-cellular-interface: 3
- karkhaz/red: 2
- model-checking/kani-github-action: 2
- freertos/freertos-plus-tcp: 2
- rafaelmartins/marrie: 1
- sosy-lab/sv-comp: 1
- diffblue/cbmc: 1
- aws/s2n-quic: 1
- freertos/ci-cd-github-actions: 1
- todotxt/todo.txt-cli: 1
- nyx-space/hifitime: 1
- veelenga/i3ipc-ruby: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (46, 56.79%)
- Owner (32, 39.51%)
- None (2, 2.47%)
- Contributor (1, 1.23%)
Pull Request Author Associations
- Contributor (87, 37.34%)
- Owner (77, 33.05%)
- Member (66, 28.33%)
- None (2, 0.86%)
- Collaborator (1, 0.43%)
Top Issue Labels
- enhancement (11)
- easy (6)
- medium-difficulty (5)
- [C] Feature / Enhancement (5)
- Z-Benchcomp (5)
- documentation (4)
- better data (4)
- difficult (3)
- bug (3)
- [C] Internal (3)
- critical (2)
- [I] CI / Infrastructure (2)
- mitigation (2)
- performance (1)
- [C] Bug (1)
Top Pull Request Labels
- lgtm (47)
- Z-BenchCI (5)
- no-test (1)
- enhancement (1)
- T-RFC (1)