[rjan90]

Summary

Grant JAG-UK Write (push) access to filecoin-project/filecoin-pin by adding them to the repository's collaborator list.

Why do you need this?

Allow JAG-UK to review PRs and submit approvals that count toward required reviews. Write is the minimum standard repository role for this: GitHub repository roles.

What else do we need to know?

Validated YAML parsing, confirmed the only semantic change is this repository-specific collaborator grant, and ran git diff --check successfully. Verify the CI Terraform plan before merging; access takes effect after the Apply workflow completes.

DRI: @rjan90

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 jag-uk:
  - will gain push permission to filecoin-pin

[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

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["filecoin-pin:jag-uk"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "push"
      + permission_diff_suppression = false
      + repository                  = "filecoin-pin"
      + username                    = "JAG-UK"
    }

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

[rjan90]

Ref: filecoin-project/filecoin-pin#771 (review)