From e6fe4312103e915b0706dc4f79af7d98120bee3e Mon Sep 17 00:00:00 2001
From: Brian McGee <brian@bmcgee.ie>
Date: Fri, 3 May 2024 18:10:41 +0100
Subject: [PATCH] ci: tweak repo settings

Signed-off-by: Brian McGee <brian@bmcgee.ie>
---
 .github/settings.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/settings.yml b/.github/settings.yml
index a0ae796..85e36e3 100644
--- a/.github/settings.yml
+++ b/.github/settings.yml
@@ -82,6 +82,10 @@ milestones:
 # Collaborators: give specific users access to this repository.
 # See https://docs.github.com/en/rest/reference/repos#add-a-repository-collaborator for available options
 collaborators:
+    - username: brianmcgee
+      permission: admin
+    - username: zimbatm
+      permission: admin
     - username: basile-henry
       # Note: `permission` is only valid on organization-owned repositories.
       # The permission to grant the collaborator. Can be one of: