Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lsf37 issue stats
Total issues: 125
Total pull requests: 544
Merged pull request: 504
Average time to close issues: 12 months
Average time to close pull requests: 4 days
Average comments per issue: 1.53
Average comments per pull request: 1.07
Issues created
- sel4/ci-actions: 39
- jflex-de/jflex: 30
- sel4/sel4test: 18
- sel4/rfcs: 8
- sel4/sel4-camkes-l4v-dockerfiles: 8
- sel4/sel4bench: 4
- sel4/sel4-tutorials: 3
- sel4/capdl: 2
- sel4/camkes-tool: 2
- sel4/sel4webserver: 2
- sel4/l4v: 2
- sel4/docs: 2
- lsf37/isabelle.tmbundle: 1
- sel4/website: 1
- sel4/sel4bench-manifest: 1
- sel4/machine_queue: 1
- seL4/seL4: 1
Pull requests created
- jflex-de/jflex: 94
- sel4/ci-actions: 50
- sel4/docs: 40
- sel4/website: 38
- sel4/sel4-camkes-l4v-dockerfiles: 34
- sel4/capdl: 28
- sel4/l4v: 23
- sel4/camkes-tool: 22
- sel4/rfcs: 20
- sel4/sel4test: 18
- sel4/util_libs: 18
- sel4/sel4-tutorials: 15
- sel4/sel4bench: 14
- sel4/sel4_libs: 10
- sel4/verification-manifest: 10
- sel4/camkes-vm-examples: 9
- sel4/sel4_tools: 8
- sel4/rumprun-sel4-demoapps: 7
- sel4/sel4webserver: 7
- sel4/sel4_projects_libs: 6
- sel4/camkes: 5
- sel4/machine_queue: 5
- seL4/seL4: 5
- sel4/microkit: 4
- sel4/camkes-vm: 4
- sel4/graph-refine: 4
- sel4/global-components: 4
- sel4/sel4runtime: 3
- sel4/refos: 3
- sel4/projects_libs: 3
- sel4/sel4test-manifest: 3
- sel4/camkes-vm-linux: 3
- sel4/gh-testboard: 3
- sel4/whitepaper: 3
- sel4/sel4bench-manifest: 3
- sel4/camkes-manifest: 2
- sel4/cakeml_libs: 2
- sel4/sel4webserver-manifest: 2
- sel4/camkes-vm-images: 2
- sel4/pruner: 2
- sel4/isabelle: 1
- sel4/sel4-tutorials-manifest: 1
- sel4/mcs-examples: 1
- sel4/rust-sel4: 1
- sel4/refos-manifest: 1
- GaloisInc/smaccmpilot-stm32f4: 1
- sel4/mcs-examples-manifest: 1
- sel4/camkes-vm-examples-manifest: 1
Maintainer
- jflex-de/jflex: 124
- sel4/ci-actions: 89
- sel4/docs: 42
- sel4/sel4-camkes-l4v-dockerfiles: 42
- sel4/website: 39
- sel4/sel4test: 36
- sel4/capdl: 30
- sel4/rfcs: 28
- sel4/l4v: 25
- sel4/camkes-tool: 24
- sel4/sel4bench: 18
- sel4/util_libs: 18
- sel4/sel4-tutorials: 18
- sel4/sel4_libs: 10
- sel4/verification-manifest: 10
Active Maintainer
Issue Author Associations
- Member (124, 99.20%)
- Owner (1, 0.80%)
Pull Request Author Associations
- Member (543, 99.82%)
- Contributor (1, 0.18%)
Top Issue Labels
- enhancement (22)
- bug (9)
- testing (9)
- help wanted (8)
- wontfix (8)
- camkes (7)
- seL4 (6)
- verification (5)
- MCS (5)
- docs (4)
- docker (4)
- sel4test (4)
- good first issue (4)
- code quality (4)
- benchmarking (3)
Top Pull Request Labels
- CI (69)
- enhancement (27)
- docs (24)
- bug (19)
- code quality (10)
- testing (9)
- MCS (9)
- implemented (6)
- active (5)
- dependencies (4)
- hw-test (3)
- minor (2)
- rejected (2)
- seL4 (2)
- cleanup (2)