Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover/reservoir issues and pull requests
#55 - feat: retrieve barrels from external CDN
Pull Request -
State: closed - Opened by tydeu about 1 month ago
#54 - feat: richer dependencies
Pull Request -
State: closed - Opened by tydeu about 1 month ago
Labels: A-index
#53 - feat: expand cache to full index
Pull Request -
State: open - Opened by tydeu about 1 month ago
Labels: A-cache
#52 - feat: add terms & privacy policy
Pull Request -
State: closed - Opened by tydeu about 2 months ago
#51 - feat: build API endpoints + netlify API refactor
Pull Request -
State: closed - Opened by tydeu about 2 months ago
#50 - feat: S3 build cache
Pull Request -
State: closed - Opened by tydeu about 2 months ago
Labels: A-testbed, A-cache
#49 - Reservoir dependents for git dependencies
Issue -
State: closed - Opened by kim-em 2 months ago
Labels: C-enhancement, A-package, P-high
#48 - Wrong package name
Issue -
State: closed - Opened by lakesare 3 months ago
- 3 comments
Labels: C-question
#48 - Wrong package name
Issue -
State: closed - Opened by lakesare 3 months ago
- 3 comments
Labels: C-question
#47 - fix: ensure packages are properly associated with repos
Pull Request -
State: closed - Opened by tydeu 4 months ago
Labels: A-index
#47 - fix: ensure packages are properly associated with repos
Pull Request -
State: closed - Opened by tydeu 4 months ago
Labels: A-index
#46 - feat: JSON case-preserving package aliases
Pull Request -
State: closed - Opened by tydeu 4 months ago
Labels: A-index
#46 - feat: JSON case-preserving package aliases
Pull Request -
State: closed - Opened by tydeu 4 months ago
Labels: A-index
#45 - feat: Reservoir 1.0
Pull Request -
State: closed - Opened by tydeu 4 months ago
Labels: A-testbed, A-index
#45 - feat: Reservoir 1.0
Pull Request -
State: closed - Opened by tydeu 4 months ago
Labels: A-testbed, A-index
#44 - feat: search owner & description
Pull Request -
State: closed - Opened by tydeu 4 months ago
#44 - feat: search owner & description
Pull Request -
State: closed - Opened by tydeu 4 months ago
#43 - feat: redirect package to name w/ canonical casing
Pull Request -
State: closed - Opened by tydeu 4 months ago
#43 - feat: redirect package to name w/ canonical casing
Pull Request -
State: closed - Opened by tydeu 4 months ago
#42 - refactor: package toolchain list
Pull Request -
State: closed - Opened by tydeu 4 months ago
#42 - refactor: package toolchain list
Pull Request -
State: closed - Opened by tydeu 4 months ago
#41 - refactor: use index GitHub token for querying
Pull Request -
State: closed - Opened by tydeu 4 months ago
#41 - refactor: use index GitHub token for querying
Pull Request -
State: closed - Opened by tydeu 4 months ago
#40 - feat: build archive metrics
Pull Request -
State: closed - Opened by tydeu 4 months ago
#40 - feat: build archive metrics
Pull Request -
State: closed - Opened by tydeu 4 months ago
#39 - fix: keep index search under GH rate limit
Pull Request -
State: closed - Opened by tydeu 4 months ago
#39 - fix: keep index search under GH rate limit
Pull Request -
State: closed - Opened by tydeu 4 months ago
#38 - chore: update web dependencies (2024-06-27)
Pull Request -
State: closed - Opened by tydeu 5 months ago
#38 - chore: update web dependencies (2024-06-27)
Pull Request -
State: closed - Opened by tydeu 5 months ago
#37 - fix: `package.json` per netlify function
Pull Request -
State: closed - Opened by tydeu 5 months ago
#37 - fix: `package.json` per netlify function
Pull Request -
State: closed - Opened by tydeu 5 months ago
#36 - perf: use graphql to fetch manifests
Pull Request -
State: closed - Opened by tydeu 5 months ago
#36 - perf: use graphql to fetch manifests
Pull Request -
State: closed - Opened by tydeu 5 months ago
#35 - feat: API v1
Pull Request -
State: closed - Opened by tydeu 5 months ago
#35 - feat: API v1
Pull Request -
State: closed - Opened by tydeu 5 months ago
#34 - RFC: use github repo name
Issue -
State: closed - Opened by joneugster 6 months ago
- 2 comments
Labels: C-question
#34 - RFC: use github repo name
Issue -
State: closed - Opened by joneugster 6 months ago
- 2 comments
Labels: C-question
#33 - feat: search for author
Issue -
State: closed - Opened by joneugster 6 months ago
Labels: C-enhancement
#33 - feat: search for author
Issue -
State: closed - Opened by joneugster 6 months ago
Labels: C-enhancement
#32 - Reservoir does not detect alternative "README" files such as `readme.md` and `README.org`.
Issue -
State: closed - Opened by austinletson 6 months ago
Labels: C-enhancement, A-package
#32 - Reservoir does not detect alternative "README" files such as `readme.md` and `README.org`.
Issue -
State: closed - Opened by austinletson 6 months ago
Labels: C-enhancement, A-package
#31 - bug: reservoir not listing my package
Issue -
State: open - Opened by somombo 6 months ago
- 3 comments
Labels: C-bug, C-enhancement, A-search
#30 - feature request: tag search
Issue -
State: closed - Opened by Seasawher 7 months ago
Labels: C-enhancement, A-package
#30 - feature request: tag search
Issue -
State: closed - Opened by Seasawher 7 months ago
Labels: C-enhancement, A-package
#29 - "how used" section
Issue -
State: closed - Opened by Seasawher 7 months ago
- 4 comments
Labels: R-duplicate
#29 - "how used" section
Issue -
State: closed - Opened by Seasawher 7 months ago
- 4 comments
Labels: R-duplicate
#28 - chore: improve GH workflow resilience to errors
Pull Request -
State: closed - Opened by tydeu 7 months ago
#28 - chore: improve GH workflow resilience to errors
Pull Request -
State: closed - Opened by tydeu 7 months ago
#27 - fix: link checker errors on packages with spaces
Pull Request -
State: closed - Opened by tydeu 7 months ago
#27 - fix: link checker errors on packages with spaces
Pull Request -
State: closed - Opened by tydeu 7 months ago
#26 - repo is not indexed
Issue -
State: open - Opened by Seasawher 7 months ago
- 8 comments
Labels: C-bug, C-enhancement, A-search
#25 - repo name is outdated
Issue -
State: closed - Opened by Seasawher 7 months ago
- 1 comment
Labels: C-bug
#25 - repo name is outdated
Issue -
State: closed - Opened by Seasawher 7 months ago
- 1 comment
Labels: C-bug
#24 - why repo name is not used?
Issue -
State: closed - Opened by Seasawher 8 months ago
- 2 comments
Labels: C-discussion
#24 - why repo name is not used?
Issue -
State: closed - Opened by Seasawher 8 months ago
- 2 comments
Labels: C-discussion
#23 - feat: toolchain metadata & related cleanup
Pull Request -
State: closed - Opened by tydeu 8 months ago
#23 - feat: toolchain metadata & related cleanup
Pull Request -
State: closed - Opened by tydeu 8 months ago
#22 - feat: add inclusion criteria page & require `lake-manifest.json`
Pull Request -
State: closed - Opened by tydeu 8 months ago
#21 - lean dependabot
Issue -
State: open - Opened by Seasawher 8 months ago
- 1 comment
Labels: C-enhancement
#21 - lean dependabot
Issue -
State: open - Opened by Seasawher 8 months ago
- 1 comment
Labels: C-enhancement
#20 - show indexing rule
Issue -
State: closed - Opened by Seasawher 8 months ago
Labels: C-enhancement
#20 - show indexing rule
Issue -
State: closed - Opened by Seasawher 8 months ago
Labels: C-enhancement
#19 - chore: CI touchups
Pull Request -
State: closed - Opened by tydeu 10 months ago
#19 - chore: CI touchups
Pull Request -
State: closed - Opened by tydeu 10 months ago
#18 - feat: case-insensitive package aliases
Pull Request -
State: closed - Opened by tydeu 10 months ago
#18 - feat: case-insensitive package aliases
Pull Request -
State: closed - Opened by tydeu 10 months ago
#17 - chore: simplify deploy CI & directly use netlify CLI
Pull Request -
State: closed - Opened by tydeu 10 months ago
#17 - chore: simplify deploy CI & directly use netlify CLI
Pull Request -
State: closed - Opened by tydeu 10 months ago
#16 - feat: label for skipping testbed CI in PRs
Pull Request -
State: closed - Opened by tydeu 10 months ago
- 1 comment
#16 - feat: label for skipping testbed CI in PRs
Pull Request -
State: closed - Opened by tydeu 10 months ago
- 1 comment
#15 - feat: REST API v0 using Netlify functions
Pull Request -
State: closed - Opened by tydeu 10 months ago
- 1 comment
#15 - feat: REST API v0 using Netlify functions
Pull Request -
State: closed - Opened by tydeu 10 months ago
- 1 comment
#14 - the search button is too big in mobile
Issue -
State: closed - Opened by Seasawher 10 months ago
Labels: C-bug
#14 - the search button is too big in mobile
Issue -
State: closed - Opened by Seasawher 10 months ago
Labels: C-bug
#13 - indexing projects that are not the root of the repository
Issue -
State: open - Opened by kim-em 10 months ago
- 2 comments
Labels: C-enhancement, A-index
#13 - indexing projects that are not the root of the repository
Issue -
State: open - Opened by kim-em 10 months ago
- 2 comments
Labels: C-enhancement, A-index
#12 - Reservoir Version Ordering
Issue -
State: closed - Opened by joehendrix 10 months ago
Labels: C-bug
#12 - Reservoir Version Ordering
Issue -
State: closed - Opened by joehendrix 10 months ago
Labels: C-bug
#11 - cleanup ntptutorial
Issue -
State: closed - Opened by kim-em 11 months ago
- 1 comment
Labels: C-question
#11 - cleanup ntptutorial
Issue -
State: closed - Opened by kim-em 11 months ago
- 1 comment
Labels: C-question
#10 - Building on "Latest stable" means it is impossible to ensure a package will build
Issue -
State: open - Opened by digama0 11 months ago
- 10 comments
Labels: C-discussion
#10 - Building on "Latest stable" means it is impossible to ensure a package will build
Issue -
State: open - Opened by digama0 11 months ago
- 10 comments
Labels: C-discussion
#9 - feat: do not overwrite a successful build with a failure
Pull Request -
State: closed - Opened by tydeu 11 months ago
- 2 comments
#9 - feat: do not overwrite a successful build with a failure
Pull Request -
State: closed - Opened by tydeu 11 months ago
- 2 comments
#8 - mathlib currently shows a build failure for v4.3.0
Issue -
State: closed - Opened by kim-em 11 months ago
- 6 comments
Labels: C-enhancement, A-testbed, A-package
#7 - display dependencies and dependents on package pages
Issue -
State: closed - Opened by kim-em 11 months ago
Labels: C-enhancement, A-package
#7 - display dependencies and dependents on package pages
Issue -
State: closed - Opened by kim-em 11 months ago
Labels: C-enhancement, A-package
#6 - opt out of reservoir
Issue -
State: closed - Opened by kim-em 11 months ago
- 1 comment
Labels: C-enhancement, A-index
#6 - opt out of reservoir
Issue -
State: closed - Opened by kim-em 11 months ago
- 1 comment
Labels: C-enhancement, A-index
#5 - highlight "intended" toolchain
Issue -
State: closed - Opened by kim-em 11 months ago
- 2 comments
Labels: C-enhancement, A-package
#5 - highlight "intended" toolchain
Issue -
State: closed - Opened by kim-em 11 months ago
- 2 comments
Labels: C-enhancement, A-package
#4 - Control number of results on "all packages" package
Issue -
State: closed - Opened by kim-em 11 months ago
Labels: C-enhancement, A-site
#4 - Control number of results on "all packages" package
Issue -
State: closed - Opened by kim-em 11 months ago
Labels: C-enhancement, A-site
#3 - refactor: change package URL to `/@[owner]/[name]`
Pull Request -
State: closed - Opened by tydeu 11 months ago
- 1 comment
#3 - refactor: change package URL to `/@[owner]/[name]`
Pull Request -
State: closed - Opened by tydeu 11 months ago
- 1 comment
#2 - Improve how reservoir shows the build status of Lean 4 projects
Issue -
State: closed - Opened by utensil 12 months ago
- 1 comment
#2 - Improve how reservoir shows the build status of Lean 4 projects
Issue -
State: closed - Opened by utensil 12 months ago
- 1 comment
#1 - feat: leverage external index in CI
Pull Request -
State: closed - Opened by tydeu 12 months ago
- 1 comment
#1 - feat: leverage external index in CI
Pull Request -
State: closed - Opened by tydeu 12 months ago
- 1 comment