GitHub / markrtuttle issue stats
Total issues: 18
Total pull requests: 123
Merged pull request: 102
Average time to close issues: about 1 year
Average time to close pull requests: 10 days
Average comments per issue: 1.83
Average comments per pull request: 0.2
Issues created
Pull requests created
- model-checking/cbmc-viewer: 57
- model-checking/cbmc-starter-kit: 17
- aws/Device-Defender-for-AWS-IoT-embedded-sdk: 7
- aws/Jobs-for-AWS-IoT-embedded-sdk: 6
- freertos/corehttp: 6
- aws/Device-Shadow-for-AWS-IoT-embedded-sdk: 4
- aws/SigV4-for-AWS-IoT-embedded-sdk: 4
- freertos/coremqtt-agent: 4
- freertos/coresntp: 4
- freertos/corejson: 4
- freertos/freertos-plus-tcp: 3
- model-checking/cbmc-training: 2
- freertos/freertos-cellular-interface: 2
- p-org/P: 1
- freertos/coremqtt: 1
- FreeRTOS/FreeRTOS: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (14, 77.78%)
- None (4, 22.22%)
Pull Request Author Associations
- Contributor (94, 76.42%)
- Member (24, 19.51%)
- None (5, 4.07%)
Top Issue Labels
- enhancement (5)
- bug (3)
- kind: bug (3)
- part: resolver (2)
- testing (1)
- severity: has-workaround (1)
- [C] Bug (1)
Top Pull Request Labels
- enhancement (2)
- testing (2)