No need to push skill tree twice (#292)

pull/5155/head
merwanehamadi 2023-08-11 19:59:11 -07:00 committed by GitHub
parent 119fcacc84
commit 2428cf3596
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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