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