Adding Charly

[filecoinfoundation-inf]

Adding Charly to Allocators repo.

He's is helping manage this site.

Summary

Adding Charly to Allocators repo.

He's is helping manage this site.

Why do you need this?

Front end developer that will be helping manage this site.

What else do we need to know?

Works for Filecoin Foundation.

DRI: myself

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 charlymartin:
  - will gain push permission to allocator-registry

[github-actions]

Before merge, verify that all the following plans are correct. They will be applied as-is after the merge.

Terraform plans

filecoin-project

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["allocator-registry:charlymartin"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "push"
      + permission_diff_suppression = false
      + repository                  = "Allocator-Registry"
      + username                    = "CharlyMartin"
    }

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