Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / JoJoDeveloping issue stats
Total issues: 20
Total pull requests: 31
Merged pull request: 19
Average time to close issues: 11 days
Average time to close pull requests: about 2 months
Average comments per issue: 2.8
Average comments per pull request: 5.87
Issues created
- rust-lang/miri: 4
- logsem/melocoton: 4
- mcmodlauncher/modlauncher: 2
- hm-riscv/vscode-riscv-venus: 2
- jhjourdan/c11parser: 1
- creusot-rs/creusot: 1
- coderobe/vbiosfinder: 1
- SOSML/SOSML: 1
- cpitclaudel/alectryon: 1
- denoland/deno_core: 1
- AEModernMCPort/Applied-Energistics-3-Fork: 1
- uds-psl/coq-library-fol: 1
Pull requests created
- rust-lang/miri: 16
- al8n/skl: 2
- AEModernMCPort/Applied-Energistics-3-Fork: 2
- coq/opam: 1
- digitalsparky/cssminify: 1
- moka-rs/moka: 1
- yforster/thesis-template: 1
- uds-psl/coq-library-undecidability: 1
- lumol-org/soa-derive: 1
- digitalsparky/jekyll-minifier: 1
- denoland/deno_core: 1
- jojodeveloping/testrepo: 1
- lexmanos/mappingtoy: 1
- moka-rs/mini-moka: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (11, 55.00%)
- Collaborator (5, 25.00%)
- Contributor (4, 20.00%)
Pull Request Author Associations
- Contributor (23, 74.19%)
- None (7, 22.58%)
- Owner (1, 3.23%)
Top Issue Labels
- C-bug (4)
- A-cargo (2)
- A-aliasing (2)
- I-misses-UB (2)
- t:squid (1)
- s:frontend (1)
- p5: medium priority (1)
- enhancement (1)
- information (1)
- bug (1)
- cargo-creusot (1)
Top Pull Request Labels
- S-waiting-on-author (5)
- bug (2)
- S-waiting-on-review (1)