ci: tweak repo settings

Signed-off-by: Brian McGee <brian@bmcgee.ie>
This commit is contained in:
Brian McGee 2024-05-03 18:10:41 +01:00
parent 9cc0ab7b8c
commit e6fe431210
Signed by: brianmcgee
GPG Key ID: D49016E76AD1E8C0

View File

@ -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: