From 5d3615caf235b02d6ce6ca8ee76a8686e13086d7 Mon Sep 17 00:00:00 2001
From: Matthew Buckett <matthew.buckett@ctl.ox.ac.uk>
Date: Fri, 23 Aug 2024 13:36:34 +0100
Subject: [PATCH] Try adding the GH token.

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

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 0828b91..6e94289 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -19,4 +19,6 @@ jobs:
           java-version-file: .java-version
           distribution: temurin
           cache: maven
-      - run: mvn -B -Prelease deploy
\ No newline at end of file
+      - run: mvn -B -Prelease deploy
+        env:
+          GITHUB_TOKEN: ${{ github.token }}
\ No newline at end of file