Publish docs via Github Actions (#1749)

* remove old azure pipelines

* docs in github actions

* update permissions

* trigger workflow

* again

* remove last pipe

---------

Co-authored-by: Sharon Hart <sharonh.dev@gmail.com>
Co-authored-by: Omri Mendels <omri374@users.noreply.github.com>

Author: 3 people

.github/workflows/release-docs.yml

@@ -0,0 +1,33 @@
+name: Release Documentation
+
+on:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  github-pages-release:
+    name: Push to github pages
+    runs-on: ubuntu-latest
+    
+    permissions:
+      contents: write  # Required for pushing to gh-pages branch
+    
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v5
+        with:
+          fetch-depth: 0  # Fetch all history for proper gh-pages deployment
+          persist-credentials: false
+      
+      - name: Set up Python
+        uses: actions/setup-python@v6
+        with:
+          python-version: '3.x'
+      
+      - name: Deploy docs
+        run: |
+          set -eux  # fail on error
+          pip install -r docs/requirements-docs.txt
+          mkdocs gh-deploy