From 1d214ce5d4c9a3fe611fd3bf7c33b26042d793cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20K=C3=BChle?= Date: Mon, 11 Aug 2025 14:58:27 +0200 Subject: [PATCH] Fix labels.exclude schema: object with name The labels.exclude property takes an array of objects with properties. --- docs/github-settings/8. labels.md | 10 +++++++--- schema/settings.json | 7 ++++++- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/docs/github-settings/8. labels.md b/docs/github-settings/8. labels.md index ddf4c4b4..9167ee75 100644 --- a/docs/github-settings/8. labels.md +++ b/docs/github-settings/8. labels.md @@ -10,9 +10,13 @@ You can use the REST API to manage labels for a repository and add or remove lab ```yaml # These settings are synced to GitHub by https://github.com/github/safe-settings labels: - - name: bug - color: CC0000 - description: An issue with the system + include: + - name: bug + color: CC0000 + description: An issue with the system + exclude: + # don't delete any labels that start with "release" + - name: ^release ``` ## Team API Spec diff --git a/schema/settings.json b/schema/settings.json index 4d390b38..bd86bde0 100644 --- a/schema/settings.json +++ b/schema/settings.json @@ -75,7 +75,12 @@ "description": "Ignore any labels matching these regexes (don't delete them)", "type": "array", "items": { - "type": "string" + "type": "object", + "properties": { + "name": { + "type": "string" + } + } } } }