Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover-community/mathlib-tools issues and pull requests
#51 - name of repo vs pip package
Issue -
State: closed - Opened by jcommelin over 4 years ago
- 5 comments
#47 - Allow shallow clone of Git repos, and enable by default
Pull Request -
State: closed - Opened by Smaug123 over 4 years ago
- 3 comments
#42 - `leanproject` fails if the Lean project directory is not a Git repository
Issue -
State: closed - Opened by JLimperg over 4 years ago
- 4 comments
#41 - paramiko causing problems when running leanproject
Issue -
State: closed - Opened by mateoatr over 4 years ago
- 3 comments
#37 - Making Lean project a git submodule of another git repo
Issue -
State: closed - Opened by kevinsullivan over 4 years ago
- 2 comments
#13 - In leanpkg.toml, allow git revision commit hash to be replaced by tag name
Issue -
State: closed - Opened by juliangilbey over 4 years ago
- 5 comments
#10 - feat(lean-depot): deployment of curated sets of Lean libraries
Pull Request -
State: closed - Opened by cipher1024 almost 5 years ago
- 14 comments