GitHub / markrtuttle issue stats
Total issues: 18
Total pull requests: 126
Merged pull request: 105
Average time to close issues: 11 months
Average time to close pull requests: 9 days
Average comments per issue: 1.89
Average comments per pull request: 0.19
Issues created
Pull requests created
- model-checking/cbmc-viewer: 59
- 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
- freertos/coremqtt-agent: 4
- aws/Device-Shadow-for-AWS-IoT-embedded-sdk: 4
- aws/SigV4-for-AWS-IoT-embedded-sdk: 4
- freertos/coresntp: 4
- freertos/corejson: 4
- freertos/freertos-plus-tcp: 3
- freertos/freertos-cellular-interface: 2
- p-org/P: 2
- model-checking/cbmc-training: 2
- 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 (96, 76.19%)
- Member (24, 19.05%)
- None (6, 4.76%)
Top Issue Labels
- enhancement (5)
- bug (3)
- kind: bug (3)
- part: resolver (2)
- testing (1)
- [C] Bug (1)
- has-workaround: yes (1)
Top Pull Request Labels
- enhancement (2)
- testing (2)