Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tjhance issue stats
Total issues: 60
Total pull requests: 62
Merged pull request: 48
Average time to close issues: 10 months
Average time to close pull requests: 12 days
Average comments per issue: 1.43
Average comments per pull request: 1.53
Issues created
- tjhance/lacrosse-town: 26
- verus-lang/verus: 25
- pyston/pyston_v1: 5
- verus-lang/verusfmt: 2
- dafny-lang/dafny: 1
- dtolnay/syn: 1
Pull requests created
Maintainer
Active Maintainer
- verus-lang/verus: 26
Issue Author Associations
- Owner (26, 43.33%)
- Collaborator (25, 41.67%)
- Contributor (7, 11.67%)
- None (2, 3.33%)
Pull Request Author Associations
- Collaborator (57, 91.94%)
- Contributor (5, 8.06%)
Top Issue Labels
- soundness (6)
- old_v1 (5)
- bug (1)
- kind: bug (1)
- part: resolver (1)
- priority: not yet (1)
- during 3: execution of incorrect program (1)
- introduced: pre-2012 (1)
- incompleteness (1)
- test-coverage (1)
- blocking (1)
- further discussion needed (1)
Top Pull Request Labels
- changes requested (2)
- wip (1)