From e21efb3c3cd0a74d0cc6269993192fe7dfc51590 Mon Sep 17 00:00:00 2001
From: Chl <chl@xlii.si>
Date: Sat, 31 Aug 2024 02:48:52 +0200
Subject: [PATCH] readme: compatibility with Github

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 4c7ede0..f056d6f 100644
--- a/README.md
+++ b/README.md
@@ -73,6 +73,8 @@ steps:
   - name: Simple checkout
     run: |
       git init
+      # On Github, the token isn't readily available.
+      test -z "$GITHUB_TOKEN" && GITHUB_TOKEN="${{ github.token }}"
       MY_AUTHENTICATED_URL="$( echo "$GITHUB_SERVER_URL" | sed "s#^\(https\?://\)#\1$GITHUB_TOKEN\@#" )"
       git remote add origin "$MY_AUTHENTICATED_URL"/"$GITHUB_REPOSITORY"
       # Little and optional speed optimization