From 605228d265ad3771bf4021c400f9cfd60c0b6545 Mon Sep 17 00:00:00 2001 From: qiancai Date: Wed, 18 Mar 2026 15:30:02 +0800 Subject: [PATCH 1/2] make the workflow more stable --- .github/workflows/sync-doc-pr-zh-to-en.yml | 49 +++++++++++++++++++--- 1 file changed, 43 insertions(+), 6 deletions(-) diff --git a/.github/workflows/sync-doc-pr-zh-to-en.yml b/.github/workflows/sync-doc-pr-zh-to-en.yml index af8b4db17d612..097956cec1dc8 100644 --- a/.github/workflows/sync-doc-pr-zh-to-en.yml +++ b/.github/workflows/sync-doc-pr-zh-to-en.yml @@ -22,6 +22,10 @@ on: - gemini default: 'gemini' +permissions: + contents: write + pull-requests: write + jobs: sync-docs: runs-on: ubuntu-latest @@ -67,6 +71,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: $SOURCE_OWNER/$SOURCE_REPO"; exit 1 + fi + if [[ "$TARGET_OWNER/$TARGET_REPO" != "pingcap/docs" ]]; then + echo "❌ Unsupported target repository: $TARGET_OWNER/$TARGET_REPO"; exit 1 + fi { echo "source_owner< Date: Wed, 18 Mar 2026 15:34:44 +0800 Subject: [PATCH 2/2] support openai --- .github/workflows/sync-doc-pr-zh-to-en.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/sync-doc-pr-zh-to-en.yml b/.github/workflows/sync-doc-pr-zh-to-en.yml index 097956cec1dc8..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,8 @@ on: options: - deepseek - gemini - default: 'gemini' + - openai + default: 'openai' permissions: contents: write @@ -73,10 +74,10 @@ jobs: TARGET_PR=$(echo "$TARGET_URL" | cut -d'/' -f7) if [[ "$SOURCE_OWNER/$SOURCE_REPO" != "pingcap/docs-cn" ]]; then - echo "❌ Unsupported source repository: $SOURCE_OWNER/$SOURCE_REPO"; exit 1 + 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: $TARGET_OWNER/$TARGET_REPO"; exit 1 + echo "❌ Unsupported target repository: only pingcap/docs is supported"; exit 1 fi { @@ -125,6 +126,7 @@ jobs: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} DEEPSEEK_API_TOKEN: ${{ secrets.DEEPSEEK_API_TOKEN }} GEMINI_API_TOKEN: ${{ secrets.GEMINI_API_TOKEN }} + OPENAI_API_TOKEN: ${{ secrets.OPENAI_API_TOKEN }} SOURCE_PR_URL: ${{ github.event.inputs.source_pr_url }} TARGET_PR_URL: ${{ github.event.inputs.target_pr_url }} AI_PROVIDER: ${{ github.event.inputs.ai_provider }}