GitHub / andrewchawk issue stats
Total issues: 24
Total pull requests: 23
Merged pull request: 15
Average time to close issues: 9 days
Average time to close pull requests: 8 days
Average comments per issue: 1.21
Average comments per pull request: 0.17
Issues created
- andrewchawk/casanova-fly: 5
- andrewchawk/gender-definitions-1: 5
- andrewchawk/casanova: 4
- onestruggler/short-intro-reflection: 3
- andrewchawk/a-partial-order-on-elections: 1
- Educorreia932/Chique: 1
- andrewchawk/java-for-haskellers: 1
- OpenJML/OpenJML: 1
- andrewchawk/mathcan: 1
- andrewchawk/portcullis: 1
- andrewchawk/coq-tutorial: 1
Maintainer
- andrewchawk/casanova-fly: 18
- andrewchawk/gender-definitions-1: 5
- andrewchawk/casanova: 4
- andrewchawk/OpenBSD: 4
- andrewchawk/coq-tutorial: 3
- andrewchawk/a-partial-order-on-elections: 1
- micahp/finetuned-image-gen: 1
- stackrox/stackrox: 1
- andrewchawk/java-for-haskellers: 1
- andrewchawk/mathcan: 1
- aws-aemilia-pdx/Github-PR-Commit-Integration-Test-DoNotTouch-Gith-RB7P4TGB-v1-beta-us-west-2: 1
- andrewchawk/portcullis: 1
Issue Author Associations
- Owner (19, 79.17%)
- Contributor (3, 12.50%)
- None (2, 8.33%)
Pull Request Author Associations
- Owner (22, 95.65%)
- None (1, 4.35%)
Top Issue Labels
- bug (3)
- enhancement (2)