Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jroesch issue stats
Total issues: 41
Total pull requests: 22
Merged pull request: 13
Average time to close issues: 9 months
Average time to close pull requests: 2 months
Average comments per issue: 4.37
Average comments per pull request: 1.18
Issues created
- leanprover/vscode-lean: 10
- jroesch/rustv: 8
- jroesch/language-lean: 6
- octoml/tvm-build: 3
- leanprover/leanprover.github.io: 2
- rust-lang/rust: 2
- jroesch/sjson: 2
- FStarLang/karamel: 2
- leanprover/smt2_interface: 1
- adelbertc/gazette: 1
- jroesch/typed.clj: 1
- toml-rs/toml-rs: 1
- lm-sys/FastChat: 1
- jroesch/acetic: 1
Pull requests created
Maintainer
- jroesch/rustv: 8
- jroesch/language-lean: 6
- octoml/tvm-build: 5
- dmlc/HalideIR: 2
- rust-lang/rust: 2
- apache/tvm-site: 2
- jroesch/sjson: 2
- ekmett/sparse: 1
- jroesch/typed.clj: 1
- jroesch/acetic: 1
Active Maintainer
Issue Author Associations
- Owner (18, 43.90%)
- Contributor (14, 34.15%)
- Member (5, 12.20%)
- None (4, 9.76%)
Pull Request Author Associations
- Contributor (11, 50.00%)
- Member (6, 27.27%)
- None (4, 18.18%)
- Collaborator (1, 4.55%)
Top Issue Labels
- B-RFC-approved (2)
- T-lang (2)
- B-unstable (2)
- B-RFC-implemented (2)
- C-tracking-issue (2)
- F-default_type_parameter_fallback (2)
- enhancement (2)