From 89d6ed549946fa3945f31bcc569474a81dab57f9 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 25 Mar 2026 15:34:37 +0000 Subject: [PATCH] fix: dev-portal-deploy git push error logging Co-authored-by: qinfendebingshuo <207279273+qinfendebingshuo@users.noreply.github.com> Agent-Logs-Url: https://github.com/qinfendebingshuo/guanghulab/sessions/fbf443ce-2f3e-4a23-a3e4-515cc2dda5a7 --- .github/workflows/dev-portal-deploy.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/dev-portal-deploy.yml b/.github/workflows/dev-portal-deploy.yml index c3ade916..5ebf0853 100644 --- a/.github/workflows/dev-portal-deploy.yml +++ b/.github/workflows/dev-portal-deploy.yml @@ -128,4 +128,4 @@ jobs: git config user.email "github-actions[bot]@users.noreply.github.com" git add docs/dev-portal/manifest.json git diff --cached --quiet && echo "无变更" || git commit -m "📋 开发者门户: 更新频道清单 [${{ steps.detect.outputs.dev_ids }}]" - git push || echo "⚠️ 推送失败" + git push 2>&1 || echo "⚠️ manifest 推送失败(非致命)"