From 83152105522f1108a0b3b85c06695963c0bde83a Mon Sep 17 00:00:00 2001
From: Chris Buckley <chris@cmbuckley.co.uk>
Date: Wed, 4 Sep 2024 11:57:18 +0100
Subject: [PATCH] Bring back default token for gh CLI

---
 .github/workflows/push.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 96addba..1207850 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -42,6 +42,8 @@ jobs:
         uses: actions/checkout@v4
       - name: Get current role and location
         id: details
+        env:
+          GH_TOKEN: ${{ github.token }}
         run: |
           echo "existing=$(gh api user -q .bio)" >> $GITHUB_OUTPUT
           echo "role=$(awk -v col=4 -f _src/role.awk _src/cv.tex)" >> $GITHUB_OUTPUT