From 6b8cd8b0744cee033c7a070f80a3ea9a9cdf6daa Mon Sep 17 00:00:00 2001
From: "Pablo R. Mier" <pablo.rodriguez.mier@gmail.com>
Date: Thu, 9 May 2024 11:32:02 +0200
Subject: [PATCH] Improve deploy of docs in gh-pages

---
 .github/workflows/deploy-docs.yml | 31 +++++++++++++++++++++++--------
 corneto/_util.py                  |  2 +-
 2 files changed, 24 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index 8ad7699..94c0ce1 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -13,12 +13,12 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
-          fetch-depth: 0  # Ensures all history is fetched for sphinx-multiversion to detect all tags and branches
+          fetch-depth: 0
 
       - name: Set up Python
-        uses: actions/setup-python@v2
+        uses: actions/setup-python@v4
         with:
           python-version: '3.11'
 
@@ -45,8 +45,23 @@ jobs:
           git config --local user.name "GitHub Action"
 
       - name: Deploy to GitHub Pages
-        uses: peaceiris/actions-gh-pages@v4
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./docs/_build/html
-          keep_files: false
+        run: |
+          git config --local user.email "action@github.com"
+          git config --local user.name "GitHub Action"
+          git fetch origin gh-pages
+          git checkout gh-pages || git checkout --orphan gh-pages
+          # Get the name of the branch that triggered the workflow
+          BRANCH_NAME=${GITHUB_REF#refs/heads/}
+          echo "Deploying documentation for branch: $BRANCH_NAME"
+  
+          # Removing old files
+          rm -rf "./$BRANCH_NAME"
+          mkdir -p "./$BRANCH_NAME"
+  
+          # Copying new files
+          cp -r "docs/_build/html/$BRANCH_NAME/." "./$BRANCH_NAME/"
+  
+          # Adding changes to git
+          git add .
+          git commit -m "Update docs for branch $BRANCH_NAME"
+          git push -u origin gh-pages
diff --git a/corneto/_util.py b/corneto/_util.py
index f93dddf..8af34fb 100644
--- a/corneto/_util.py
+++ b/corneto/_util.py
@@ -102,7 +102,7 @@ def _get_info() -> Dict[str, Dict]:
         "value": available_backends(),
     }
     info["default_backend"] = {
-        "title": "Default backend (corneto.K)",
+        "title": "Default backend (corneto.opt)",
         "message": "No backend detected, please install CVXPY or PICOS",
         "value": None,
     }