GitHub / oskgo issue stats
Total issues: 35
Total pull requests: 32
Merged pull request: 22
Average time to close issues: 4 months
Average time to close pull requests: 28 days
Average comments per issue: 0.6
Average comments per pull request: 1.19
Issues created
Pull requests created
- EasyCrypt/easycrypt: 7
- Extbech/advent-of-code-2024: 5
- EasyCrypt/ec-tactics: 3
- rust-lang/std-dev-guide: 2
- rust-lang/team: 2
- leanprover/theorem_proving_in_lean4: 2
- hacspec/hacspec: 2
- rust-lang/rust-forge: 2
- RoaringBitmap/roaring-rs: 2
- modularml/mojo: 2
- snapview/tokio-tungstenite: 1
- PoignardAzur/masonry-rs: 1
- rust-lang/project-stable-mir: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (24, 68.57%)
- None (8, 22.86%)
- Collaborator (3, 8.57%)
Pull Request Author Associations
- Contributor (15, 46.88%)
- None (10, 31.25%)
- Collaborator (7, 21.88%)
Top Issue Labels
- bug (4)
- enhancement (4)
- mojo-repo (2)
- bibliography (1)
- A-collections (1)
- A-docs (1)
- T-libs (1)
- game mechanics (1)
- A-diagnostics (1)
- T-compiler (1)
- C-bug (1)
Top Pull Request Labels
- S-waiting-on-review (2)
- chore (1)
- enhancement (1)