Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / alwin-joshy issue stats
Total issues: 0
Total pull requests: 21
Merged pull request: 11
Average time to close issues: N/A
Average time to close pull requests: 4 days
Average comments per issue: 0
Average comments per pull request: 3.0
Issues created
Pull requests created
- sel4/sel4bench: 5
- sel4/sel4test: 4
- sel4/rust-sel4: 4
- seL4/seL4: 2
- sel4/sel4_tools: 2
- sel4/util_libs: 2
- sel4/microkit: 2
Maintainer
Active Maintainer
Issue Author Associations
Pull Request Author Associations
- Contributor (16, 76.19%)
- None (5, 23.81%)
Top Issue Labels
Top Pull Request Labels
- hw-test (2)
- proof-test (1)
- hw-build (1)
- hw-bench (1)