Fix push command

ooni · Feb 2, 2024 · 5cf3d72 · 5cf3d72
1 parent 5e30a16
commit 5cf3d72
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy_production.yml b/.github/workflows/deploy_production.yml
@@ -92,7 +92,7 @@ jobs:
  git config --global user.name "OONI Github Actions Bot"
  git add . >> "$GITHUB_OUTPUT"
  git commit -m "skip-terraform: autoupdate terraform outputs" || echo "No changes to commit" >> "$GITHUB_OUTPUT"
- git push origin HEAD:${{ github.head_ref }} >> "$GITHUB_OUTPUT"
+ git push origin ${{ github.head_ref }} >> "$GITHUB_OUTPUT"
  echo "EOF" >> "$GITHUB_OUTPUT"
 
  - uses: actions/github-script@v6