Adding users to specs

[filecoinfoundation-inf]

Summary

Adding Mirha and Charly from the filecoin team to the Specs repo.

Why do you need this?

Filecoin now manages this site deployment

What else do we need to know?

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 specs
User mirhamasala:
  - will gain push permission to specs

[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["specs: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                  = "specs"
      + username                    = "CharlyMartin"
    }

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

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