From 96315e0193161153be4361561c6cdc7454d33efe Mon Sep 17 00:00:00 2001
From: Josh Matthews <josh@joshmatthews.net>
Date: Tue, 25 May 2021 11:05:42 -0400
Subject: [PATCH] Use master branch for github docs push.

---
 .github/workflows/docs.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 }}