chore: add @guillaumemichel as admin to buoy

[guillaumemichel]

Summary

Give admin access to @guillaumemichel on buoy

Why do you need this?

I am renaming buoy to pulsar and need admin access to move repo to new name

What else do we need to know?

DRI: @guillaumemichel

Reviewer's Checklist

• It is clear where the request is coming from (if unsure, ask)
• All the automated checks passed
• The YAML changes reflect the summary of the request
• The Terraform plan posted as a comment reflects the summary of the request

[github-actions]

The following access changes will be introduced as a result of applying the plan:

Access Changes

User guillaumemichel:
  - will have the permission to buoy change from push to admin
User web3-bot:
  - will gain push permission to pulsar-api

[github-actions]

Before merge, verify that all the following plans are correct. After merge, Apply will regenerate the plans from the merged commit and continue only if they match.

Terraform plans

ipshipyard

Terraform used the selected providers to generate the following execution
plan. Resource actions are indicated with the following symbols:
  + create

Terraform will perform the following actions:

  # github_repository_collaborator.this["buoy:guillaumemichel"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "admin"
      + permission_diff_suppression = false
      + repository                  = "buoy"
      + username                    = "guillaumemichel"
    }

  # github_repository_collaborator.this["pulsar-api:web3-bot"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "push"
      + permission_diff_suppression = false
      + repository                  = "pulsar-api"
      + username                    = "web3-bot"
    }

Plan: 2 to add, 0 to change, 0 to destroy.