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",