diff --git a/.github/workflows/sync-doc-pr-zh-to-en.yml b/.github/workflows/sync-doc-pr-zh-to-en.yml index af8b4db17d612..a407128c87b14 100644 --- a/.github/workflows/sync-doc-pr-zh-to-en.yml +++ b/.github/workflows/sync-doc-pr-zh-to-en.yml @@ -20,7 +20,12 @@ on: options: - deepseek - gemini - default: 'gemini' + - openai + default: 'openai' + +permissions: + contents: write + pull-requests: write jobs: sync-docs: @@ -67,6 +72,13 @@ jobs: TARGET_OWNER=$(echo "$TARGET_URL" | cut -d'/' -f4) TARGET_REPO=$(echo "$TARGET_URL" | cut -d'/' -f5) TARGET_PR=$(echo "$TARGET_URL" | cut -d'/' -f7) + + if [[ "$SOURCE_OWNER/$SOURCE_REPO" != "pingcap/docs-cn" ]]; then + echo "❌ Unsupported source repository: only pingcap/docs-cn is supported"; exit 1 + fi + if [[ "$TARGET_OWNER/$TARGET_REPO" != "pingcap/docs" ]]; then + echo "❌ Unsupported target repository: only pingcap/docs is supported"; exit 1 + fi { echo "source_owner<