Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / corlewis issue stats
Total issues: 2
Total pull requests: 35
Merged pull request: 28
Average time to close issues: N/A
Average time to close pull requests: 10 days
Average comments per issue: 0.0
Average comments per pull request: 1.37
Issues created
- sel4/l4v: 2
Pull requests created
- sel4/l4v: 15
- sel4/capdl: 12
- sel4/verification-manifest: 4
- sel4/sel4test: 2
- sel4/sel4_libs: 1
- alexlegg/socket-avalon: 1
Maintainer
- sel4/l4v: 17
- sel4/capdl: 12
- sel4/verification-manifest: 4
- sel4/sel4test: 2
- alexlegg/socket-avalon: 1
- sel4/sel4_libs: 1
Active Maintainer
Issue Author Associations
- Member (2, 100.00%)
Pull Request Author Associations
- Member (34, 97.14%)
- Collaborator (1, 2.86%)
Top Issue Labels
- cleanup (2)
Top Pull Request Labels
- MCS (10)
- Haskell (4)
- seL4-PR (1)