GitHub / lsf37 issue stats
Total issues: 128
Total pull requests: 836
Merged pull request: 703
Average time to close issues: 10 months
Average time to close pull requests: 9 days
Average comments per issue: 1.41
Average comments per pull request: 0.94
Issues created
- sel4/ci-actions: 44
- jflex-de/jflex: 16
- sel4/l4v: 12
- seL4/seL4: 12
- sel4/sel4test: 11
- sel4/sel4-camkes-l4v-dockerfiles: 8
- sel4/rfcs: 8
- sel4/sel4-tutorials: 3
- sel4/sel4webserver: 2
- jflex-de/jflex-web: 2
- sel4/sel4bench: 2
- sel4/docs: 2
- sel4/camkes-tool: 1
- sel4/capdl: 1
- sel4/sel4bench-manifest: 1
- sel4/website: 1
- sel4/machine_queue: 1
- lsf37/isabelle.tmbundle: 1
Pull requests created
- sel4/ci-actions: 117
- sel4/l4v: 87
- seL4/seL4: 86
- sel4/website: 61
- sel4/docs: 51
- sel4/sel4-camkes-l4v-dockerfiles: 51
- jflex-de/jflex: 44
- sel4/camkes-tool: 27
- sel4/rfcs: 25
- sel4/sel4-tutorials: 24
- sel4/capdl: 22
- sel4/sel4test: 18
- sel4/sel4_tools: 15
- sel4/sel4bench: 15
- sel4/verification-manifest: 13
- sel4/util_libs: 12
- sel4/sel4webserver: 12
- sel4/camkes-vm-examples: 11
- sel4/machine_queue: 9
- sel4/rumprun-sel4-demoapps: 8
- sel4/microkit: 7
- sel4/camkes: 7
- sel4/sel4test-manifest: 6
- sel4/sel4bench-manifest: 6
- lsf37/seL4: 6
- sel4/sel4_libs: 6
- lsf37/website: 6
- sel4/sel4_projects_libs: 5
- sel4/refos: 5
- sel4/graph-refine: 5
- jflex-de/bazel_rules: 5
- sel4/gh-testboard: 4
- sel4/global-components: 4
- sel4/sel4runtime: 4
- sel4/projects_libs: 4
- sel4/camkes-vm-examples-manifest: 4
- sel4/camkes-vm-linux: 4
- sel4/camkes-vm-images: 3
- sel4/mcs-examples-manifest: 3
- sel4/camkes-vm: 3
- sel4/rust-sel4: 3
- sel4/whitepaper: 3
- sel4/cakeml_libs: 3
- sel4/sel4webserver-manifest: 3
- sel4/camkes-manifest: 3
- sel4/pruner: 3
- sel4/refos-manifest: 2
- sel4/mcs-examples: 2
- sel4/sel4-tutorials-manifest: 2
- lsf37/gh-action-testing: 2
- lsf37/l4v: 1
- GaloisInc/smaccmpilot-stm32f4: 1
- sel4/isabelle: 1
- au-ts/microkit_tutorial: 1
- lsf37/docs: 1
Maintainer
- sel4/ci-actions: 161
- sel4/l4v: 99
- seL4/seL4: 98
- sel4/website: 62
- jflex-de/jflex: 60
- sel4/sel4-camkes-l4v-dockerfiles: 59
- sel4/docs: 53
- sel4/rfcs: 33
- sel4/sel4test: 29
- sel4/camkes-tool: 28
- sel4/sel4-tutorials: 27
- sel4/capdl: 23
- sel4/sel4bench: 17
- sel4/sel4_tools: 15
- sel4/sel4webserver: 14
Active Maintainer
- seL4/seL4: 43
- sel4/ci-actions: 34
- sel4/l4v: 32
- sel4/website: 19
- sel4/docs: 17
- sel4/sel4-tutorials: 9
- sel4/camkes-tool: 8
- sel4/sel4test: 6
- sel4/sel4-camkes-l4v-dockerfiles: 6
- lsf37/website: 5
- sel4/sel4_tools: 4
- sel4/sel4webserver: 4
- sel4/sel4bench: 4
- sel4/machine_queue: 4
- sel4/camkes-vm-examples: 4
Issue Author Associations
- Member (127, 99.22%)
- Owner (1, 0.78%)
Pull Request Author Associations
- Member (818, 97.85%)
- Owner (16, 1.91%)
- Contributor (2, 0.24%)
Top Issue Labels
- enhancement (17)
- bug (7)
- camkes (7)
- verification (7)
- seL4 (7)
- wontfix (6)
- testing (5)
- docs (5)
- help wanted (5)
- task (5)
- docker (4)
- sel4test (4)
- MCS (4)
- good first issue (3)
- benchmarking (3)
Top Pull Request Labels
- CI (99)
- docs (28)
- bug (25)
- verification (19)
- enhancement (19)
- MCS (11)
- Aarch64 (10)
- seL4 (9)
- cleanup (9)
- dependencies (8)
- active (7)
- platforms (7)
- hw-test (5)
- implemented (5)
- hw-build (5)