From c00c89c2b7260add52d2ed4e978c13518a10d861 Mon Sep 17 00:00:00 2001 From: Greg King Date: Fri, 17 Jun 2022 12:58:56 -0400 Subject: [PATCH] Directly clone the document repo. --- .github/workflows/snapshot-on-push-master.yml | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/.github/workflows/snapshot-on-push-master.yml b/.github/workflows/snapshot-on-push-master.yml index c6ab07fed..cb0483827 100644 --- a/.github/workflows/snapshot-on-push-master.yml +++ b/.github/workflows/snapshot-on-push-master.yml @@ -43,14 +43,6 @@ jobs: - shell: bash run: git config --global core.autocrlf input - - - name: Get the online documents repo. - uses: actions/checkout@v2 - with: - repository: cc65/doc - token: ${{ github.token }} - path: ../doc.git - - name: Checkout Source uses: actions/checkout@v2 @@ -106,10 +98,10 @@ jobs: - name: Update the online documents. run: | - pwd - cd ../doc.git + git clone --depth 1 https://${{ secrets.GITHUB_TOKEN }}@github.com/cc65/doc.git doc.git + cd doc.git rm *.* - cp ../cc65/html/*.* . + cp ../html/*.* . git config user.name "cc65-github" git config user.email "cc65.nomail@github.com" git config push.default simple