Allow manual python docs deploy

Author: LeonieFierz

.github/workflows/pyhton.build_deploy.yml

@@ -1,4 +1,5 @@
 on:
+  workflow_dispatch:
   push:
   pull_request:
     branches:
@@ -141,7 +142,7 @@ jobs:
         with:
           path: python-wrapper/docs/_build/html
   deploy_pages:
-    if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags')
+    if: (github.event_name == 'push' && startsWith(github.ref, 'refs/tags')) || github.event_name == 'workflow_dispatch'
     runs-on: "ubuntu-22.04"
     needs: build_pages
     permissions:
@@ -237,4 +238,4 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         # upload sigstore-produced signatures and certificates from dist
         run: |          
-          gh release upload '${{ github.ref_name }}' dist/*.sigstore.json --repo '${{ github.repository }}'      
+          gh release upload '${{ github.ref_name }}' dist/*.sigstore.json --repo '${{ github.repository }}'