ci: remove henri

Signed-off-by: Brian McGee <[email protected]>

Author: brianmcgee

.github/settings.yml

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