GitHub / dlesbre issue stats
Total issues: 19
Total pull requests: 25
Merged pull request: 22
Average time to close issues: 3 months
Average time to close pull requests: 4 days
Average comments per issue: 2.37
Average comments per pull request: 2.12
Issues created
Pull requests created
- codex-semantics-library/patricia-tree: 10
- codex-semantics-library/codex-semantics-library.github.io: 4
- logsem/cerise: 4
- typeddjango/django-stubs: 1
- ocaml/opam-repository: 1
- Bogdanp/awesome-advent-of-code: 1
- rsalmei/alive-progress: 1
- ryotaushio/obsidian-latex-theorem-equation-referencer: 1
- dlesbre/site-interludes: 1
- logsem/iris-lecture-notes: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (10, 52.63%)
- Owner (5, 26.32%)
- Contributor (3, 15.79%)
- Collaborator (1, 5.26%)
Pull Request Author Associations
- Collaborator (18, 72.00%)
- Contributor (5, 20.00%)
- Owner (1, 4.00%)
- None (1, 4.00%)
Top Issue Labels
- bug (6)
- v1 (1)
- enhancement (1)
- regression (1)
- AREA: SANDBOX (1)
Top Pull Request Labels
- enhancement (4)
- size/XS (1)
- bug (1)
- documentation (1)