From 43c0f5ecd77a327928bb6a22cdf04ea351ac8c89 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 08ad9d7ad..f6e1524f6 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