mirror of
https://github.com/numtide/treefmt.git
synced 2024-09-11 08:55:33 +03:00
ci: remove henri
Signed-off-by: Brian McGee <brian@bmcgee.ie>
This commit is contained in:
parent
aa2b9e8bc3
commit
183fbf711a
9
.github/settings.yml
vendored
9
.github/settings.yml
vendored
@ -86,15 +86,6 @@ collaborators:
|
||||
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:
|
||||
# * `pull` - can pull, but not push to or administer this repository.
|
||||
# * `push` - can pull and push, but not administer this repository.
|
||||
# * `admin` - can pull, push and administer this repository.
|
||||
# * `maintain` - Recommended for project managers who need to manage the repository without access to sensitive or destructive actions.
|
||||
# * `triage` - Recommended for contributors who need to proactively manage issues and pull requests without write access.
|
||||
permission: push
|
||||
|
||||
# See https://docs.github.com/en/rest/reference/teams#add-or-update-team-repository-permissions for available options
|
||||
teams:
|
||||
|
Loading…
Reference in New Issue
Block a user