Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tobiasgrosser issue stats
Total issues: 43
Total pull requests: 44
Merged pull request: 33
Average time to close issues: about 2 months
Average time to close pull requests: 4 days
Average comments per issue: 4.14
Average comments per pull request: 3.14
Issues created
- AntonLydike/riscemu: 9
- giltho/gatsby-transformer-bibtex: 6
- jupyterlite/jupyterlite: 6
- pypyjs/pypyjs: 5
- xavierd/clang_complete: 3
- maerhart/llhd: 2
- scttcper/gatsby-casper: 1
- papychacal/xdsl-workshop: 1
- llvm/llvm-project: 1
- leanprover/lean4: 1
- digama0/leangz: 1
- rhysd/vim-clang-format: 1
- zulip/github-actions-zulip: 1
- latex-lsp/tree-sitter-latex: 1
- digint/btrbk: 1
- leanprover/lean-llvm: 1
- gpoore/minted: 1
- nico/demumble: 1
Pull requests created
- leanprover/lean4: 15
- xavierd/clang_complete: 7
- giltho/gatsby-transformer-bibtex: 4
- emeryberger/CSrankings: 2
- leanprover/doc-gen4: 2
- leanprover/logic_and_proof_lean3: 2
- maerhart/llhd: 2
- papychacal/xdsl-workshop: 2
- scttcper/gatsby-casper: 2
- pypyjs/pypyjs: 1
- creachadair/imath: 1
- digint/btrbk: 1
- leanprover/lean-llvm: 1
- grin-compiler/grin: 1
- spcl/open-earth-compiler: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (22, 51.16%)
- Contributor (15, 34.88%)
- Collaborator (6, 13.95%)
Pull Request Author Associations
- Contributor (29, 65.91%)
- Collaborator (12, 27.27%)
- None (3, 6.82%)
Top Issue Labels
- enhancement (9)
- bug (2)
- backend:ARM (1)
- bugzilla (1)
Top Pull Request Labels
- toolchain-available (15)
- builds-mathlib (3)
- awaiting-review (2)
- changelog-library (2)
- P-high (1)