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

Force push

This commit is contained in:
Jamie Hewitt 2022-05-18 13:55:36 +03:00
parent 1ed340cd86
commit 2249ed8a43

View File

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