From 283ba9a5f70d8684f0f138faae89513c0616bf9d Mon Sep 17 00:00:00 2001
From: Joshua Sangmeister <33004050+jsangmeister@users.noreply.github.com>
Date: Sat, 16 Dec 2023 16:14:07 +0100
Subject: [PATCH] Add openslides-proxy to labels script (#6712)

---
 dev/scripts/update_labels_and_milestones.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dev/scripts/update_labels_and_milestones.py b/dev/scripts/update_labels_and_milestones.py
index 86e922a76c..b37be3503f 100644
--- a/dev/scripts/update_labels_and_milestones.py
+++ b/dev/scripts/update_labels_and_milestones.py
@@ -11,6 +11,7 @@
     "openslides-icc-service",
     "openslides-manage-service",
     "openslides-media-service",
+    "openslides-proxy",
     "openslides-search-service",
     "openslides-vote-service",
     "vote-decrypt",