Commit ff17dcd0 by Francisco Giordano

fix git push (finally, hopefully)

parent da948710
...@@ -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 origin - run: git push origin HEAD
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