Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / BerkeleyLearnVerify issue stats
Total issues: 102
Total pull requests: 257
Merged pull request: 181
Average time to close issues: 6 months
Average time to close pull requests: about 2 months
Average comments per issue: 2.28
Average comments per pull request: 0.74
Issues created
Pull requests created
Issue owner Associations
- None (82, 80.39%)
- Collaborator (10, 9.80%)
- Contributor (10, 9.80%)
Pull Request owner Associations
- Collaborator (202, 78.60%)
- None (46, 17.90%)
- Contributor (9, 3.50%)
All Maintainers
Active Maintainers
- abanuelo (41)
- dfremont (19)
- Eric-Vin (17)
- lola831 (2)
- beyazit-yalcinkaya (1)
Top Issue Authors
- abol-karimi (12)
- abanuelo (6)
- junjihashimoto (4)
- sumitradagar (4)
- Yougmark (3)
- dfremont (3)
- Kai-X-Org (3)
- axelbr (3)
- dbarrita (2)
- gulnaz-zh (2)
- midhunbenny-inv (2)
- Nancy22-NJ (2)
- nidhiyatittas (2)
- sunyesta (2)
- swatimshah (2)
Top Issue Labels
- type: bug (22)
- status: valid (16)
- enhancement (11)
- status: needs more info (4)
- bug (3)
- type: feature (3)
- status: triage (3)
- needs more info (2)
- sim: CARLA (1)
- type: upstream (1)
- domain: driving (1)
- help wanted (1)
- status: wontfix (1)
- type: simulator (1)
Top Pull Request Labels
- dependencies (19)