GitHub / nilehmann issue stats
Total issues: 16
Total pull requests: 18
Merged pull request: 12
Average time to close issues: 3 months
Average time to close pull requests: 4 months
Average comments per issue: 2.13
Average comments per pull request: 1.33
Issues created
Pull requests created
- PLSysSec/tock-veri-asm: 3
- py-pdf/pypdf: 2
- traxys/tree-sitter-lalrpop: 2
- ucsd-progsys/liquid-fixpoint: 2
- huacnlee/zed-lalrpop: 1
- RxSwiftCommunity/RxContacts: 1
- AstraLuma/xontrib-z: 1
- lalrpop/lalrpop: 1
- RxSwiftCommunity/RxSwiftExt: 1
- foresterre/rust-toolchain-file: 1
- xldenis/creusot: 1
- jonhoo/tracing-timing: 1
- mwilliamson/jq.py: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (13, 81.25%)
- Contributor (3, 18.75%)
Pull Request Author Associations
- Contributor (12, 66.67%)
- None (6, 33.33%)
Top Issue Labels
- question (1)
- A-ty (1)
- C-bug (1)
- I-panic (1)
- bug (1)