Grant @mishmosh push access to ipfs/specs

[Copilot]

This updates ipfs/github-mgmt to grant GitHub user mishmosh write access to the ipfs/specs repository through the repository’s managed access configuration. The change is limited to the existing collaborator permission entry for specs.

• Access change

  • Adds mishmosh to the push collaborators for repositories.specs in github/ipfs.yml.
  • Uses the existing direct-collaborator pattern already present for repo-specific write access.

• Permission scope

  • Grants write/push access to ipfs/specs.
  • Does not change team membership, admin access, or permissions on any other repository.

• Managed config

  • Keeps the change in the YAML source of truth used by this repo’s GitHub management workflows.
  • No additional generated artifacts were required beyond preserving the existing config format.

repositories:
  specs:
    collaborators:
      push:
        - mishmosh
        - vmx
        - web3-bot

[github-actions]

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

Access Changes

User bumblefudge:
  - will lose triage permission to camp
  - will lose push permission to community
User darobin:
  - will lose triage permission to camp
  - will lose push permission to community

[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

ipfs

Terraform used the selected providers to generate the following execution
plan. Resource actions are indicated with the following symbols:
  + create
  ~ update in-place
  - destroy

Terraform will perform the following actions:

  # github_branch_protection.this["specs:main"] will be updated in-place
  ~ resource "github_branch_protection" "this" {
        id                              = "MDIwOkJyYW5jaFByb3RlY3Rpb25SdWxlMzI3Mjk3OQ=="
        # (10 unchanged attributes hidden)

      ~ restrict_pushes {
          ~ push_allowances  = [
              - "ipfs/specs-stewards",
                # (2 unchanged elements hidden)
            ]
            # (1 unchanged attribute hidden)
        }

        # (1 unchanged block hidden)
    }

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

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

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

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

  # github_repository_collaborator.this["specs:mishmosh"] will be created
  + resource "github_repository_collaborator" "this" {
      + id                          = (known after apply)
      + invitation_id               = (known after apply)
      + permission                  = "push"
      + permission_diff_suppression = false
      + repository                  = "specs"
      + username                    = "mishmosh"
    }

  # github_team_membership.this["docs:bumblefudge"] will be destroyed
  # (because key ["docs:bumblefudge"] is not in for_each map)
  - resource "github_team_membership" "this" {
      - etag     = "W/\"87923f8f8799f886ea3f575fba2f82c83e0fb8ed52e8165fc3e08bb21b87e3ae\"" -> null
      - id       = "2540579:bumblefudge" -> null
      - role     = "member" -> null
      - team_id  = "2540579" -> null
      - username = "bumblefudge" -> null
    }

  # github_team_membership.this["docs:darobin"] will be destroyed
  # (because key ["docs:darobin"] is not in for_each map)
  - resource "github_team_membership" "this" {
      - etag     = "W/\"196eaa0185e12e34fb113637d60b50e9d9f5703bc441ec84b33290beae1af559\"" -> null
      - id       = "2540579:darobin" -> null
      - role     = "member" -> null
      - team_id  = "2540579" -> null
      - username = "darobin" -> null
    }

  # github_team_membership.this["docs:mishmosh"] will be destroyed
  # (because key ["docs:mishmosh"] is not in for_each map)
  - resource "github_team_membership" "this" {
      - etag     = "W/\"9964099cb6600e457b9fdc502796312010abe0845cb8a8e822a179bcd68a4d54\"" -> null
      - id       = "2540579:mishmosh" -> null
      - role     = "member" -> null
      - team_id  = "2540579" -> null
      - username = "mishmosh" -> null
    }

  # github_team_membership.this["specs stewards:bumblefudge"] will be destroyed
  # (because key ["specs stewards:bumblefudge"] is not in for_each map)
  - resource "github_team_membership" "this" {
      - etag     = "W/\"cca3557917bf112666f5325a0b175e400d5fc60bffd9327c7af20bb2995b9866\"" -> null
      - id       = "6237620:bumblefudge" -> null
      - role     = "member" -> null
      - team_id  = "6237620" -> null
      - username = "bumblefudge" -> null
    }

  # github_team_membership.this["specs stewards:mishmosh"] will be destroyed
  # (because key ["specs stewards:mishmosh"] is not in for_each map)
  - resource "github_team_membership" "this" {
      - etag     = "W/\"994919f80041dbe90c56b4721765643cdf332d8dbbe37fd345f6a0c5ab2f0857\"" -> null
      - id       = "6237620:mishmosh" -> null
      - role     = "member" -> null
      - team_id  = "6237620" -> null
      - username = "mishmosh" -> null
    }

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