GitHub / Ivan-Velickovic issue stats
Total issues: 47
Total pull requests: 191
Merged pull request: 176
Average time to close issues: 3 months
Average time to close pull requests: 18 days
Average comments per issue: 3.13
Average comments per pull request: 0.76
Issues created
- sel4/microkit: 21
- seL4/seL4: 5
- ziglang/zig: 4
- sel4/rust-sel4: 3
- sel4/sel4test: 2
- sel4/sel4_tools: 2
- sel4/capdl: 2
- kivikakk/dtb.zig: 1
- NixOS/nixpkgs: 1
- sel4/sel4-tutorials: 1
- sel4/util_libs: 1
- seL4/rust-microkit-http-server-demo: 1
- mitchellh/zig-overlay: 1
- sel4/sel4-camkes-l4v-dockerfiles: 1
- hermit-os/hermit-rs-template: 1
Pull requests created
- sel4/microkit: 146
- sel4/sel4_tools: 10
- seL4/seL4: 8
- sel4/sel4test: 4
- sel4/machine_queue: 4
- sel4/util_libs: 3
- sel4/rust-sel4: 3
- sel4/sel4-camkes-l4v-dockerfiles: 2
- ziglang/www.ziglang.org: 2
- sel4/sel4_projects_libs: 2
- ratfactor/ziglings: 1
- sel4/sel4bench-manifest: 1
- sel4/sel4_libs: 1
- kristoff-it/zig-doctest: 1
- sel4/musllibc: 1
- kivikakk/dtb.zig: 1
- au-ts/libvmm: 1
Maintainer
- sel4/microkit: 167
- au-ts/libvmm: 1
Active Maintainer
- sel4/microkit: 103
- au-ts/libvmm: 1
Issue Author Associations
- Collaborator (21, 44.68%)
- Contributor (20, 42.55%)
- None (6, 12.77%)
Pull Request Author Associations
- Collaborator (147, 76.96%)
- Contributor (41, 21.47%)
- None (3, 1.57%)
Top Issue Labels
- bug (5)
- docs (2)
- 0.kind: bug (1)
- 6.topic: darwin (1)
- 6.topic: cross-compilation (1)
- help wanted (1)
- hw-test (1)
- CI (1)
- contributor friendly (1)
- os-linux (1)
- frontend (1)
- arch-x86_64 (1)
- autodoc (1)
Top Pull Request Labels
- hw-test (2)
- enhancement (1)
- cleanup (1)
- bug (1)
- build-system (1)
- hw-build (1)
- proof-test (1)