1
0
mirror of https://github.com/oceanprotocol/ocean.js.git synced 2024-11-26 20:39:05 +01:00

Remove git error output if nothing is pushed to remote

This commit is contained in:
Jamie Hewitt 2022-05-18 15:13:34 +03:00
parent 6a3e3edd06
commit 17bbf39d7b

View File

@ -224,4 +224,4 @@ jobs:
git commit -m "Updating CodeExamples.md"
branch=${GITHUB_HEAD_REF#refs/heads/}
echo Pushing changes to branch: ${branch}
git push origin HEAD:${branch} --force || echo Nothing to commit
git push origin HEAD:${branch} --force &> /dev/null