Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / BerkeleyLearnVerify issue stats
Total issues: 98
Total pull requests: 252
Merged pull request: 172
Average time to close issues: 6 months
Average time to close pull requests: about 2 months
Average comments per issue: 2.38
Average comments per pull request: 0.74
Issues created
Pull requests created
Issue owner Associations
- None (79, 80.61%)
- Contributor (10, 10.20%)
- Collaborator (9, 9.18%)
Pull Request owner Associations
- Collaborator (199, 78.97%)
- None (45, 17.86%)
- Contributor (8, 3.17%)
All Maintainers
Active Maintainers
- abanuelo (41)
- Eric-Vin (23)
- dfremont (17)
- beyazit-yalcinkaya (1)
- lola831 (1)
Top Issue Authors
- abol-karimi (12)
- abanuelo (6)
- sumitradagar (4)
- junjihashimoto (4)
- Yougmark (3)
- Kai-X-Org (3)
- axelbr (3)
- TomyYamy (2)
- dfremont (2)
- nidhiyatittas (2)
- swatimshah (2)
- sunyesta (2)
- midhunbenny-inv (2)
- Nancy22-NJ (2)
- gulnaz-zh (2)
Top Pull Request Authors
- shumbo (54)
- Eric-Vin (52)
- dfremont (43)
- abanuelo (35)
- dependabot[bot] 🤖 (19)
- ek65 (7)
- sunyesta (5)
- ameesh-shah (3)
- theilem (3)
- Kai-X-Org (3)
- trevor-wu (2)
- TomyYamy (2)
- tcdanielh (2)
- KE7 (2)
- abol-karimi (2)
Top Issue Labels
- type: bug (20)
- status: valid (15)
- enhancement (11)
- status: needs more info (4)
- bug (3)
- type: feature (3)
- needs more info (2)
- status: triage (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)