Commit da948710 by Francisco Giordano

specify remote in git push

parent 04668010
...@@ -24,4 +24,4 @@ jobs: ...@@ -24,4 +24,4 @@ jobs:
- run: bash scripts/upgradeable/merge-upstream.sh - run: bash scripts/upgradeable/merge-upstream.sh
env: env:
REF: ${{ github.event.client_payload.ref || github.ref}} REF: ${{ github.event.client_payload.ref || github.ref}}
- run: git push - run: git push origin
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment