push from actions

Author: quarckster

.github/workflows/deploy-site.yaml

@@ -8,6 +8,9 @@ on:
         required: true
         default: "master"
 
+permissions:
+  contents: write
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -21,5 +24,10 @@ jobs:
         run: |
           podman run -it -v $(pwd):/mnt -w /mnt --userns=keep-id \
                  quay.io/openssl-ci/docs:20240706-200401 sh -c "\
-                  git config --global --add safe.directory /mnt && \
-                  python build.py ${{ github.event.inputs.branch }}"
+                   git config --global --add safe.directory /mnt && \
+                   python build.py ${{ github.event.inputs.branch }}"
+      - name: "Push branch"
+        run: |
+          git config user.name github-actions
+          git config user.email [email protected]
+          git push origin gh-pages

build.py

@@ -67,7 +67,7 @@ def copy_images(tmp_dir: str):
 
 
 def build_site(version: str):
-    return subprocess.run(["mike", "deploy", "--push", version]).returncode
+    return subprocess.run(["mike", "deploy", version]).returncode
 
 
 def main():