From cff8a35244a562f3b1fd79d875e069eeb5f397fb Mon Sep 17 00:00:00 2001
From: Emil Simeonov <emil@theliberatededge.org>
Date: Mon, 22 Jun 2026 00:34:05 +0200
Subject: [PATCH] =?UTF-8?q?ci:=20fix=20badges=20job=20=E2=80=94=20add=20RE?=
 =?UTF-8?q?PO=5FTOKEN=20to=20checkout=20for=20push=20access?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The badges job failed because the checkout step didn't include the
REPO_TOKEN secret, so git push to the badges branch had no credentials.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
---
 .gitea/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml
index 383cc6c..2e060f1 100644
--- a/.gitea/workflows/ci.yml
+++ b/.gitea/workflows/ci.yml
@@ -186,6 +186,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
+          token: ${{ secrets.REPO_TOKEN }}
       - name: Set up environment
         run: make setup
       - name: Generate badge JSON files