Add pgf-monitor repository

[dannyob]

Creates a new public repository pgf-monitor for Filecoin Public Goods Funding monitoring, requested by Carl Cervone (@ccerv1, Open Source Observer).

• Public, MIT-licensed at creation (license_template + auto_init are creation-time only; a future Sync will drop them from the YAML)
• Collaborators: @dannyob (admin), @ccerv1 (maintain, outside collaborator)

https://claude.ai/code/session_01GRLY8si4spYrx9HF2f72en

[github-actions]

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

Access Changes

User dannyob:
  - will gain admin permission to pgf-monitor
User ccerv1:
  - will gain maintain permission to pgf-monitor

[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.this["pgf-monitor"] will be created
  + resource "github_repository" "this" {
      + allow_auto_merge            = false
      + allow_merge_commit          = true
      + allow_rebase_merge          = true
      + allow_squash_merge          = true
      + archived                    = false
      + auto_init                   = true
      + default_branch              = (known after apply)
      + delete_branch_on_merge      = false
      + etag                        = (known after apply)
      + full_name                   = (known after apply)
      + git_clone_url               = (known after apply)
      + html_url                    = (known after apply)
      + http_clone_url              = (known after apply)
      + id                          = (known after apply)
      + license_template            = "mit"
      + merge_commit_message        = "PR_TITLE"
      + merge_commit_title          = "MERGE_MESSAGE"
      + name                        = "pgf-monitor"
      + node_id                     = (known after apply)
      + primary_language            = (known after apply)
      + private                     = (known after apply)
      + repo_id                     = (known after apply)
      + squash_merge_commit_message = "COMMIT_MESSAGES"
      + squash_merge_commit_title   = "COMMIT_OR_PR_TITLE"
      + ssh_clone_url               = (known after apply)
      + svn_url                     = (known after apply)
      + topics                      = (known after apply)
      + visibility                  = "public"
      + web_commit_signoff_required = false

      + security_and_analysis {
          + secret_scanning {
              + status = "enabled"
            }
          + secret_scanning_push_protection {
              + status = "enabled"
            }
        }
    }

  # github_repository_collaborator.this["pgf-monitor:ccerv1"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "maintain"
      + permission_diff_suppression = false
      + repository                  = "pgf-monitor"
      + username                    = "ccerv1"
    }

  # github_repository_collaborator.this["pgf-monitor:dannyob"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "admin"
      + permission_diff_suppression = false
      + repository                  = "pgf-monitor"
      + username                    = "dannyob"
    }

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

[dannyob]

Hi @rjan90 -- can this be merged by you now, or is it automatic? I forget.

[rvagg]

something's up with the action process here, "Comment" is stuck; @galargh can you look into this pls or just force it through?

[rjan90]

something's up with the action process here, "Comment" is stuck; @galargh can you look into this pls or just force it through?

I´m going to close and re-open to see if I can get the workflow to run/complete

[BigLep]

Sorry @dannyob @rjan90 , I wrote up a response here and I thought I submitted it, but I don't see it. My bad.

Repo creation is still performed through the GitHub UI. The repo then gets "added" to github-mgmt mgmt as part of the sync workflow, which runs weekly automatically and can be done on demand as well.

This is from https://github.com/filecoin-project/github-mgmt#tips--fyis

[dannyob]

@BigLep doh! Thanks for your assistance, as ever!