Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Seasawher issue stats
Total issues: 87
Total pull requests: 34
Merged pull request: 28
Average time to close issues: about 1 month
Average time to close pull requests: 8 days
Average comments per issue: 2.55
Average comments per pull request: 2.38
Issues created
- oliver-butterley/lean-update: 16
- leanprover/reservoir: 15
- leanprover/lean-action: 13
- leanprover/verso: 6
- leanprover/theorem_proving_in_lean4: 6
- lecopivo/scientific-computing-lean: 5
- lecopivo/scilean: 4
- getzola/zola: 2
- leanprover/fp-lean: 2
- dwrensha/compfiles: 2
- jorelali/mdbook-pagetoc: 2
- lumeland/theme-simple-blog: 2
- codewars/runner: 1
- rzk-lang/rzk: 1
- julian/setup-lean: 1
- SquarePear/p5_commander: 1
- victorstanciu/dbv: 1
- 34j/best-of-lean4: 1
- lovettchris/naturalnumbers: 1
- eric-song-nop/eric-song-nop: 1
- arthurpaulino/lean2md: 1
- arthurpaulino/chrome-lean-unicode: 1
- asi1024/topprover-lean-example: 1
- rust-lang/mdBook: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (45, 51.72%)
- Contributor (26, 29.89%)
- Collaborator (16, 18.39%)
Pull Request Author Associations
- Contributor (17, 50.00%)
- Collaborator (16, 47.06%)
- None (1, 2.94%)
Top Issue Labels
- C-enhancement (7)
- C-bug (6)
- enhancement (6)
- A-package (2)
- R-duplicate (2)
- C-discussion (2)
- bug (2)
- question (1)
- A-search (1)
- request/language (1)