From 86d68bea8cbdb65c886ef81411095ad5874841f8 Mon Sep 17 00:00:00 2001
From: Greg King <gregdk@users.sf.net>
Date: Fri, 17 Jun 2022 08:06:21 -0400
Subject: [PATCH] Experiment: checkout the second repo first.
Maybe that will give it the github.token that it needs.
---
.github/workflows/snapshot-on-push-master.yml | 20 +++++++++++--------
1 file changed, 12 insertions(+), 8 deletions(-)
diff --git a/.github/workflows/snapshot-on-push-master.yml b/.github/workflows/snapshot-on-push-master.yml
index 981e02fd8..f96f4fb56 100644
--- a/.github/workflows/snapshot-on-push-master.yml
+++ b/.github/workflows/snapshot-on-push-master.yml
@@ -43,8 +43,18 @@ 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
+ with:
+ path: cc65
- name: Do some simple style checks
shell: bash
@@ -96,17 +106,11 @@ jobs:
name: cc65-snapshot-win64.zip
path: cc65-snapshot-win64.zip
- - name: Get the online documents repo.
- uses: actions/checkout@v2
- with:
- repository: cc65/doc
- token: ${{ github.token }}
- path: doc.git
- name: Update the online documents.
run: |
- cd doc.git
+ cd ../doc.git
rm *.*
- cp ../html/*.* .
+ cp ../cc65/html/*.* .
git config user.name "cc65-github"
git config user.email "cc65.nomail@github.com"
git config push.default simple