Fix mypy

Author: savannahostrowski

Tools/jit/_targets.py

@@ -233,9 +233,9 @@ def build(self, out: pathlib.Path, *, force: bool = False) -> None:
                         "--enable-optimizations",
                     }
                     makefile = out / "Makefile"
-                    config_args = re.search(
-                        r"CONFIG_ARGS\s*=\s*'(.*)'", makefile.read_text()
-                    ).group(1)
+                    match = re.search(r"CONFIG_ARGS\s*=\s*'(.*)'", makefile.read_text())
+                    assert match is not None
+                    config_args = match.group(1)
                     copy_stencils = config_args and all(
                         arg in JIT_ARGS for arg in config_args.split()
                     )

cpython_growth.sh

@@ -0,0 +1,55 @@
+#!/
+
+since="90 days ago"
+
+cd cpython
+
+echo Copying existing repo at $since
+
+start=$(git rev-list -n 1 --before="$since" main)
+commits=$(git rev-list --reverse $commit..main)
+
+git switch --detach $start
+
+cd ..
+
+rm -rf cpython-copy
+cp -r cpython cpython-copy
+cd cpython-copy
+rm -rf .git
+
+git init > /dev/null 2>&1
+git config gc.auto 0 # Disable GC so we can run it later
+
+git add . > /dev/null
+git commit -am "init" > /dev/null
+
+echo GCing
+git gc --aggressive > /dev/null 2>&1
+
+echo
+echo Size at $since
+
+du -sh .git
+
+echo
+echo Applying patches
+
+patchdir=/tmp/cpython-patches
+rm -rf $patchdir
+mkdir $patchdir
+
+git -C ../cpython format-patch -o $patchdir $commit..main > /dev/null
+
+git am --3way --whitespace=nowarn --quoted-cr=nowarn --keep-cr --empty=drop $patchdir/*.patch > /dev/null
+
+rm -rf $patchdir
+
+echo GCing
+git gc --aggressive > /dev/null 2>&1
+
+echo
+echo Size at main
+
+
+du -sh .git