Skip to content

make curio-priv private - #214

Merged
rjan90 merged 1 commit into
masterfrom
rvagg/curio-priv
Jul 6, 2026
Merged

make curio-priv private#214
rjan90 merged 1 commit into
masterfrom
rvagg/curio-priv

Conversation

@rvagg

@rvagg rvagg commented Jul 6, 2026

Copy link
Copy Markdown
Member

No description provided.

@rvagg
rvagg requested a review from a team as a code owner July 6, 2026 01:21
@github-actions

github-actions Bot commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

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

Access Changes
There will be no access changes

@github-actions

github-actions Bot commented Jul 6, 2026

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:
  ~ update in-place

Terraform will perform the following actions:

  # github_repository.this["curio-priv"] will be updated in-place
  ~ resource "github_repository" "this" {
        id                          = "curio-priv"
        name                        = "curio-priv"
      ~ visibility                  = "public" -> "private"
        # (35 unchanged attributes hidden)

        # (1 unchanged block hidden)
    }

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

@rjan90
rjan90 merged commit 871ca00 into master Jul 6, 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.

2 participants