From 2428cf35961f47cda518cee7b43b888e6c4ba7f6 Mon Sep 17 00:00:00 2001 From: merwanehamadi Date: Fri, 11 Aug 2023 19:59:11 -0700 Subject: [PATCH] No need to push skill tree twice (#292) --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index aa1d9ed20..f06138c4e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -283,7 +283,7 @@ jobs: git add . git commit -m "Update website with new skill tree" git remote set-url origin https://x-access-token:${{ env.GH_TOKEN }}@github.com/agbenchmark/skill-tree.github.io.git - git push origin HEAD:refs/heads/main + git push origin HEAD:refs/heads/main || echo "Already pushed the website, no need to push again." cd ../../.. exit 0 else