diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 378b0b140c1..fd08ae4f7ad 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -29,7 +29,7 @@ jobs: git add . git -c user.name="Workflow" -c user.email="" \ commit -q -m "Rebuild Servo documentation" - git remote set-url origin https://git:${DOC_SERVO_ORG}@github.com/servo/doc.servo.org - git push --force origin FETCH_HEAD:gh-pages + git remote add origin https://git:${DOC_SERVO_ORG}@github.com/servo/doc.servo.org + git push --force origin master:gh-pages env: DOC_SERVO_ORG: ${{ secrets.DOC_SERVO_ORG }}