GitHub / jdodinh issue stats

Total issues: 4
Total pull requests: 37
Merged pull request: 18
Average time to close issues: 2 months
Average time to close pull requests: about 1 month
Average comments per issue: 0.25
Average comments per pull request: 0.46

Issues created

jdodinh/sum-check: 4

Pull requests created

WizardOfMenlo/whir: 9
sonarsource/sonar-scanner-python: 6
hash-based-snargs-book/hash-based-snargs-book: 5
jdodinh/sum-check: 5
jdodinh/whir: 3
SonarSource/sonar-python: 3
yaoyao-liu/minimal-light: 2
tcoratger/whir-p3: 2
jdodinh/jdodinh.io: 1
Plonky3/Plonky3: 1

Maintainer

Active Maintainer

jdodinh/sum-check: 4
jdodinh/whir: 3

Issue Author Associations

Owner (4, 100.00%)

Pull Request Author Associations

None (15, 40.54%)
Contributor (13, 35.14%)
Owner (9, 24.32%)

Top Issue Labels

Top Pull Request Labels