Skip to content

fix: grant LexLuthr write access to go-jsonrpc - #215

Merged
BigLep merged 1 commit into
filecoin-project:masterfrom
rjan90:phi/grant-lexluthr-go-jsonrpc-write
Jul 22, 2026
Merged

fix: grant LexLuthr write access to go-jsonrpc#215
BigLep merged 1 commit into
filecoin-project:masterfrom
rjan90:phi/grant-lexluthr-go-jsonrpc-write

Conversation

@rjan90

@rjan90 rjan90 commented Jul 22, 2026

Copy link
Copy Markdown
Contributor

Summary

Grant @LexLuthr write access to filecoin-project/go-jsonrpc by adding them to the repository's push collaborators.

Why do you need this?

This records the requested repository access change in GitHub Management.

What else do we need to know?

Validation performed:

  • Parsed github/filecoin-project.yml successfully.
  • Confirmed LexLuthr appears exactly once in the go-jsonrpc push collaborators.
  • Ran git diff --check successfully.

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

@rjan90 rjan90 changed the title Grant LexLuthr write access to go-jsonrpc fix: grant LexLuthr write access to go-jsonrpc Jul 22, 2026
@github-actions

Copy link
Copy Markdown
Contributor

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

Access Changes
User lexluthr:
  - will gain push permission to go-jsonrpc

@github-actions

Copy link
Copy Markdown
Contributor

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["go-jsonrpc:lexluthr"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "push"
      + permission_diff_suppression = false
      + repository                  = "go-jsonrpc"
      + username                    = "LexLuthr"
    }

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

@rjan90
rjan90 marked this pull request as ready for review July 22, 2026 13:31
@rjan90
rjan90 requested a review from a team as a code owner July 22, 2026 13:31
@BigLep
BigLep merged commit b20782b into filecoin-project:master Jul 22, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants