fix

.github/workflows/website.yml

@@ -80,6 +80,7 @@ jobs:
           ./scripts/mkdocs_tx.py -s fr update_config
           ./scripts/mkdocs_tx_commit.sh
         env:
+          GITHUB_HEADREF: ${{ github.head_ref }}
           GITHUB_EVENT: ${{ github.event_name }}
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 

website/scripts/mkdocs_tx_commit.sh

@@ -2,15 +2,15 @@
 
 if [[ $(git diff --exit-code mkdocs.yml) ]]; then
   echo "detected changes in mkdocs.yml"
-  if [[ GITHUB_EVENT == "pull_request" ]]; then
+  if [[ ${GITHUB_EVENT} == "pull_request" ]]; then
     # on PR push to the same branch
     gh pr checkout ${{ github.event.pull_request.number }}
     git add mkdocs.yml
     git commit -m "Update mkdocs.yml translation"
     git push
   else
     # on push create a pull request
-    git checkout ${{ github.head_ref }}
+    git checkout ${GITHUB_HEADREF}
     git checkout -b update-mkdocs-tx
     git commit -m "Update mkdocs.yml translation"
     gh pr create -B update-mkdocs-tx -H update-mkdocs-tx --title 'Update mkdocs translations'