From f71bf60f212312faddee7da525fcf47daac66499 Mon Sep 17 00:00:00 2001
From: Alex Crichton <alex@alexcrichton.com>
Date: Thu, 26 Sep 2019 13:26:38 -0700
Subject: [PATCH] Another attempt at gh-pages

---
 .github/workflows/main.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 526c733..8eb6b17 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -47,7 +47,10 @@ jobs:
         run: |
           cd target/doc
           git init
+          git remote add origin https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }}
+          git fetch origin
+          git reset --hard "origin/gh-pages^" --
           git add .
           git -c user.name='ci' -c user.email='ci' commit -m init
-          git push -f -q https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages
+          git push -f -q origin HEAD:gh-pages
         if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'