Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dwightguth issue stats
Total issues: 8
Total pull requests: 57
Merged pull request: 39
Average time to close issues: 6 days
Average time to close pull requests: about 1 month
Average comments per issue: 3.0
Average comments per pull request: 2.93
Issues created
Pull requests created
- runtimeverification/evm-semantics: 14
- makerdao/mkr-mcd-spec: 12
- runtimeverification/kevm-ethereumjs-vm: 7
- facebook/nailgun: 5
- runtimeverification/kevm-ganache-cli: 4
- arximboldi/immer: 4
- facebookarchive/nailgun: 3
- thestr4ng3r/llvm-dbas: 2
- csmith-project/csmith: 2
- snoyberg/yaml: 1
- runtimeverification/kevm-ganache-core: 1
- runtimeverification/rv-monitor: 1
- regehr/itc-benchmarks: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (5, 62.50%)
- Contributor (3, 37.50%)
Pull Request Author Associations
- Member (27, 47.37%)
- None (21, 36.84%)
- Contributor (9, 15.79%)
Top Issue Labels
- documentation (1)
- installer (1)
- macos (1)
- enhancement (1)
- Bug (1)
Top Pull Request Labels
- automerge (3)
- cla signed (2)