Update gen-mbedtls-sources.py (permissions/changes)

Author: jens

.github/workflows/ci_new.yml

@@ -35,7 +35,7 @@ jobs:
           - { label: "with pcre",        opt: "--with-pcre" }
 
     steps:
-      - uses: actions/checkout@v6
+git push --force      - uses: actions/checkout@v6
         with:
           fetch-depth: 0
           submodules: recursive
@@ -56,7 +56,9 @@ jobs:
             libpcre3-dev \
             bison \
             flex \
-            pkg-config
+            pkg-config \
+            python3 \
+            python3-venv
 
 
       - name: Run build preparation script