Skip to content
This repository was archived by the owner on Aug 29, 2026. It is now read-only.

Add admin collaborator 'galargh' to ipshipyard.yml - #68

Merged
web3-bot merged 1 commit into
ipshipyard:masterfrom
galargh:patch-1
Aug 29, 2026
Merged

Add admin collaborator 'galargh' to ipshipyard.yml#68
web3-bot merged 1 commit into
ipshipyard:masterfrom
galargh:patch-1

Conversation

@galargh

@galargh galargh commented Aug 29, 2026

Copy link
Copy Markdown
Collaborator

Summary

Why do you need this?

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

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

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["github-mgmt:galargh"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "admin"
      + permission_diff_suppression = false
      + repository                  = "github-mgmt"
      + username                    = "galargh"
    }

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

@github-actions

Copy link
Copy Markdown
Contributor

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

Access Changes
User galargh:
  - will gain admin permission to github-mgmt

@web3-bot
web3-bot merged commit 45fd8de into ipshipyard:master Aug 29, 2026
6 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants