From 1d9477aea98cd5a606d8643da95585ce19483b97 Mon Sep 17 00:00:00 2001
From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com>
Date: Fri, 15 May 2026 15:32:25 +0100
Subject: [PATCH] Add labels back into workflow

---
 .github/workflows/DocsArtifact.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/DocsArtifact.yml b/.github/workflows/DocsArtifact.yml
index 49db36d..4333757 100644
--- a/.github/workflows/DocsArtifact.yml
+++ b/.github/workflows/DocsArtifact.yml
@@ -52,7 +52,7 @@ jobs:
         - name: Fetch GitHub issues into TODO list
           run: |
             curl -sf \
-              "https://api.github.com/repos/leanprover-community/physlib/issues?state=open&per_page=100" \
+              "https://api.github.com/repos/leanprover-community/physlib/issues?state=open&per_page=100&labels=TODO" \
               -o /tmp/gh_issues.json || { echo "Failed to fetch GitHub issues, skipping."; exit 0; }
             python3 - /tmp/gh_issues.json docs/_data/TODO.yml << 'PYEOF'
             import json, sys, yaml