From 4805fb8e189207d880b2c9b6e0b4a491efd1ce18 Mon Sep 17 00:00:00 2001 From: Denis Rouzaud Date: Mon, 19 Feb 2024 11:11:17 +0100 Subject: [PATCH] fix --- .github/workflows/website.yml | 2 -- website/scripts/mkdocs_tx_commit.sh | 4 ++-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml index ecb03ee0..36277180 100644 --- a/.github/workflows/website.yml +++ b/.github/workflows/website.yml @@ -79,8 +79,6 @@ jobs: ./scripts/mkdocs_tx.py -s fr update_config ./scripts/mkdocs_tx_commit.sh env: - GITHUB_REF: ${{ github.ref }} - GITHUB_EVENT: ${{ github.event_name }} GH_TOKEN: ${{ secrets.GEONINJA_PAT }} - name: Build documentation diff --git a/website/scripts/mkdocs_tx_commit.sh b/website/scripts/mkdocs_tx_commit.sh index 9179edc7..d7d6c2d6 100755 --- a/website/scripts/mkdocs_tx_commit.sh +++ b/website/scripts/mkdocs_tx_commit.sh @@ -7,7 +7,7 @@ if [[ $(git diff --exit-code mkdocs.yml) ]]; then git config --global user.name "Geo Ninja" echo "detected changes in mkdocs.yml" - if [[ ${GITHUB_EVENT} == "pull_request" ]]; then + if [[ ${GITHUB_EVENT_NAME} == "pull_request" ]]; then echo "mkdocs is not updated from a PR" # on PR push to the same branch # gh pr checkout ${{ github.event.pull_request.number }} @@ -21,7 +21,7 @@ if [[ $(git diff --exit-code mkdocs.yml) ]]; then git add mkdocs.yml git commit -m "Update mkdocs.yml translation" gh repo fork - git push -u geoninja ${BRANCH} + git push -u geo-ninja ${BRANCH} gh pr create -B "${GITHUB_REF}" -H "${BRANCH}" --title 'Update mkdocs translations' --body 'run from mkdocs_tx' fi else