GitHub / Nadrieril issue stats
Total issues: 104
Total pull requests: 460
Merged pull request: 375
Average time to close issues: 5 months
Average time to close pull requests: 14 days
Average comments per issue: 5.14
Average comments per pull request: 3.34
Issues created
- aeneasverif/charon: 43
- rust-lang/rust: 11
- Nadrieril/dhall-rust: 8
- srid/neuron: 6
- ekleog/todiff: 3
- pest-parser/pest: 3
- sanpii/todo-txt: 3
- duesee/abnf: 2
- nix-community/impermanence: 2
- rust-lang/rustup: 2
- rust-lang/rust-analyzer: 2
- rust-lang/rustc-perf: 2
- dhall-lang/dhall-lang: 2
- Nadrieril/pest_consume: 2
- AeneasVerif/aeneas: 1
- rust-lang/cargo: 1
- willcrichton/tyrade: 1
- pyfisch/cbor: 1
- dtolnay/syn: 1
- BurntSushi/ripgrep: 1
- nikis05/derive-visitor: 1
- rust-lang/lang-team: 1
- svanderburg/composer2nix: 1
- matthieu-m/ghost-cell: 1
- BrianHicks/nix-script: 1
- rust-lang/triagebot: 1
- rust-lang/annotate-snippets-rs: 1
Pull requests created
- aeneasverif/charon: 125
- rust-lang/rust: 102
- AeneasVerif/aeneas: 90
- Nadrieril/dhall-rust: 37
- aeneasverif/eurydice: 36
- cryspen/libcrux: 12
- ekleog/todiff: 10
- rust-lang/rust-analyzer: 9
- ekleog/hasklate: 4
- nvzqz/static-assertions-rs: 3
- hacl-star/hacl-star: 3
- FStarLang/FStar: 2
- aeneasverif/scylla: 2
- duesee/abnf: 2
- arjun-menon/pypage: 2
- nanotech/dhall-rs: 1
- rust-lang/nomicon: 1
- rust-analyzer/rustc-auto-publish: 1
- rust-lang/fls: 1
- LukasKalbertodt/libtest-mimic: 1
- ghuntley/noyaml: 1
- rust-lang/rfcs: 1
- srid/neuron: 1
- sanpii/todo-txt: 1
- nix-community/nix-zsh-completions: 1
- scvalex/sexp: 1
- nikis05/derive-visitor: 1
- svanderburg/composer2nix: 1
- FStarLang/karamel: 1
- Nadrieril/pest_consume: 1
- traviscross/match-ergonomics-formality: 1
- rosefromthedead/effing-mad: 1
- aclements/latexrun: 1
- ekleog/ksandra: 1
- wmertens/atom-nix: 1
- nadrieril/typing-rust-patterns: 1
Maintainer
- aeneasverif/charon: 168
- AeneasVerif/aeneas: 91
- Nadrieril/dhall-rust: 45
- aeneasverif/eurydice: 36
- rust-lang/rust: 18
- ekleog/todiff: 13
- Nadrieril/pest_consume: 3
- aeneasverif/scylla: 2
- dhall-lang/dhall-lang: 2
- rust-lang/rustc-perf: 2
- rust-lang/rustup: 2
- rust-lang/nomicon: 1
- rust-lang/rust-analyzer: 1
- rust-lang/rfcs: 1
- nadrieril/typing-rust-patterns: 1
Active Maintainer
Issue Author Associations
- Member (56, 53.85%)
- Contributor (23, 22.12%)
- None (12, 11.54%)
- Owner (10, 9.62%)
- Collaborator (3, 2.88%)
Pull Request Author Associations
- Member (271, 58.91%)
- Contributor (133, 28.91%)
- Owner (39, 8.48%)
- Collaborator (10, 2.17%)
- None (7, 1.52%)
Top Issue Labels
- C-bug (17)
- C-unsupported-language-feature (8)
- C-tracking-issue (5)
- T-compiler (5)
- A-exhaustiveness-checking (5)
- T-lang (4)
- bug (4)
- help wanted (4)
- enhancement (4)
- standard-compliance (4)
- C-simplification-pass (2)
- regression (2)
- postponed (2)
- S-actionable (2)
- proposal (2)
Top Pull Request Labels
- T-compiler (92)
- S-waiting-on-bors (65)
- S-waiting-on-review (37)
- merged-by-bors (24)
- perf-regression (18)
- T-libs (11)
- A-exhaustiveness-checking (10)
- F-never_patterns (9)
- rollup (9)
- T-bootstrap (8)
- perf-regression-triaged (7)
- T-lang (6)
- disposition-merge (5)
- T-rustdoc (5)
- finished-final-comment-period (5)