Skip to content

Integrate stdlib-stubs build script as stubber command #697

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
+1,086 −3
Open

Integrate stdlib-stubs build script as stubber command #697

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
5777c22
Initial plan
Copilot Nov 3, 2025
4e2dee6
Add stdlib-stubs command with tests
Copilot Nov 3, 2025
aed51ae
Change command name to 'stdlib' and implement --clone option
Copilot Nov 3, 2025
6e9c07b
Change --typeshed option to --update
Copilot Nov 3, 2025
4f1f2d6
Add comprehensive unit tests to achieve 82% coverage
Copilot Nov 3, 2025
348678d
Move clone functionality to clone command with --typeshed option
Copilot Nov 10, 2025
73ff118
Format code with ruff and ensure 80%+ test coverage
Copilot Nov 10, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions src/stubber/commands/clone_cmd.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,13 @@
is_flag=True,
help="Also clone the micropython-stubs repo",
)
@click.option(
"--typeshed/--no-typeshed",
"typeshed",
default=False,
is_flag=True,
help="Also clone the typeshed repo",
)
@click.option(
"--mpy-repo",
default="https://github.com/micropython/micropython.git",
Expand All @@ -47,6 +54,7 @@
def cli_clone(
path: Union[str, Path],
stubs: bool = False,
typeshed: bool = False,
mpy_repo: str = "https://github.com/micropython/micropython.git",
mpy_lib_repo: str = "https://github.com/micropython/micropython-lib.git",
):
Expand All @@ -66,18 +74,22 @@ def cli_clone(
mpy_path = CONFIG.mpy_path
mpy_lib_path = CONFIG.mpy_lib_path
mpy_stubs_path = CONFIG.mpy_stubs_path
typeshed_path = CONFIG.typeshed_path
else:
# repos are relative to provided path
mpy_path = dest_path / "micropython"
mpy_lib_path = dest_path / "micropython-lib"
mpy_stubs_path = dest_path / "micropython-stubs"
typeshed_path = dest_path / "typeshed"

repos: List[Tuple[Path, str, str]] = [
(mpy_path, mpy_repo, "master"),
(mpy_lib_path, mpy_lib_repo, "master"),
]
if stubs:
repos.append((mpy_stubs_path, "https://github.com/josverl/micropython-stubs.git", "main"))
if typeshed:
repos.append((typeshed_path, "https://github.com/python/typeshed.git", "main"))

for _path, remote, branch in repos:
log.info(f"Cloning {remote} branch {branch} to {_path}")
Expand Down
Loading