Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wilcoxjay issue stats
Total issues: 30
Total pull requests: 81
Merged pull request: 77
Average time to close issues: about 1 month
Average time to close pull requests: 15 days
Average comments per issue: 1.47
Average comments per pull request: 0.93
Issues created
Pull requests created
- uwplse/verdi: 18
- vmware-research/temporal-verifier: 11
- emichael/dslabs: 11
- redprl/sml-typed-abts: 10
- wilcoxjay/mypyvy: 9
- egraphs-good/eggcc: 4
- jozefg/miniprl: 3
- jonsterling/jonprl: 2
- pjreddie/pjreddie.com: 2
- ztatlock/vapor.cab: 2
- wilcoxjay/miniprl-coq: 1
- mwillsey/symbol_table: 1
- siraben/coq-wigderson: 1
- mwillsey/goddity: 1
- mit-pdos/daisy-nfsd: 1
- coq/ltac2: 1
- rust-lang/ena: 1
- ekmett/trifecta: 1
- redprl/sml-telescopes: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (15, 50.00%)
- Member (5, 16.67%)
- None (5, 16.67%)
- Owner (3, 10.00%)
- Collaborator (2, 6.67%)
Pull Request Author Associations
- Contributor (38, 46.91%)
- Member (18, 22.22%)
- Collaborator (14, 17.28%)
- Owner (10, 12.35%)
- None (1, 1.23%)
Top Issue Labels
- bug (5)
- tactics (2)
- parser (2)
- Bug (1)
- Needs More Info (1)
- Area - Query Editor (1)
- enhancement (1)
- component:visualizer (1)
Top Pull Request Labels
- enhancement (2)
- bug (2)
- tactics (2)
- parser (2)