Merge remote-tracking branch 'refs/remotes/lab/main'

bin/clone_with_ssh.py

@@ -13,6 +13,13 @@ parser = argparse.ArgumentParser(
     description="Git-clone an http link as ssh instead",
 )
 
+parser.add_argument(
+    "--depth",
+    type=int,
+    required=False,
+    help="Max depth to clone",
+)
+
 parser.add_argument(
     "url",
     type=str,
@@ -39,6 +46,9 @@ else:
 if "git.sr.ht" not in args.url and not ssh_url.endswith(".git"):
     ssh_url += ".git"
 
+if args.depth is not None:
+    git_cmd = ["git", "clone", "--depth", str(args.depth), ssh_url]
+else:
     git_cmd = ["git", "clone", ssh_url]
 
 if args.out_name is not None: