ci: fix docs workflow

Author: sinedied

.github/workflows/docs.yml

@@ -3,6 +3,9 @@ on:
   push:
     branches: [main]
 
+permissions:
+  contents: write
+
 jobs:
   build:
     name: Build docs
@@ -21,5 +24,3 @@ jobs:
           git config --global user.name "sinedied"
           git config --global user.email "[email protected]"
           ./scripts/repo/build-docs.sh
-        env:
-          GH_TOKEN: ${{ secrets.GH_TOKEN }}

scripts/repo/build-docs.sh

@@ -9,8 +9,10 @@ cd "$(dirname "${BASH_SOURCE[0]}")/../.."
 
 DOCS_HOME=/tmp/azure-openai-rag-workshop-docs
 GH_USER=$(git config user.name)
-REPO=https://$GH_USER:$GH_TOKEN@github.com/Azure-Samples/azure-openai-rag-workshop.git
+REPO=$(git remote get-url origin)
+BASE=$(pwd)
 
+echo "Target repository: $REPO"
 echo "Preparing all workshop docs..."
 echo "(temp folder: $DOCS_HOME)"
 rm -rf "$DOCS_HOME"
@@ -30,12 +32,20 @@ if [[ ${1-} == "--local" ]]; then
   open "$DOCS_HOME"
 else
   # Update git repo
-  git init
-  git checkout -b docs
-  git remote add origin "$REPO"
+  cd "$BASE"
+  git checkout docs
+  rm -rf *
+  cp -R "$DOCS_HOME"/* .
   git add .
-  git commit -m "docs: prepare workshop docs"
-  git push -u origin docs --force
+  git commit --amend -m "docs: prepare workshop docs"
+  git push --force
+
+  # git init
+  # git checkout -b docs
+  # git remote add origin "$REPO"
+  # git add .
+  # git commit -m "docs: prepare workshop docs"
+  # git push -u origin docs --force
 
   rm -rf "$DOCS_HOME"
 fi