Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jaylorch issue stats
Total issues: 10
Total pull requests: 13
Merged pull request: 11
Average time to close issues: 2 months
Average time to close pull requests: 8 days
Average comments per issue: 2.3
Average comments per pull request: 1.77
Issues created
- verus-lang/verus: 10
Pull requests created
Maintainer
- verus-lang/verus: 18
Active Maintainer
- verus-lang/verus: 14
Issue Author Associations
- Collaborator (10, 100.00%)
Pull Request Author Associations
- Collaborator (8, 61.54%)
- None (4, 30.77%)
- Contributor (1, 7.69%)
Top Issue Labels
- incompleteness (1)