From cfb7d908dca025bdea6709801c5790863e902ef8 Mon Sep 17 00:00:00 2001
From: Sandro-Alessio Gierens <sandro@gierens.de>
Date: Tue, 15 Aug 2023 22:03:08 +0200
Subject: [PATCH] Make debian-11, debian-12 and arch-202307 required pull
 request jobs

Signed-off-by: Sandro-Alessio Gierens <sandro@gierens.de>
---
 .github/settings.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/settings.yml b/.github/settings.yml
index 2e7830b8..01c96ff3 100644
--- a/.github/settings.yml
+++ b/.github/settings.yml
@@ -108,6 +108,9 @@ branches:
           - ubuntu-20
           - ubuntu-22
           - fedora-35
+          - debian-11
+          - debian-12
+          - arch-202307
       # Required. Enforce all configured restrictions for administrators. Set to true to enforce required status checks for repository administrators. Set to null to disable.
       enforce_admins: true
       # Required. Restrict who can push to this branch. Team and user restrictions are only available for organization-owned repositories. Set to null to disable.