chore: cleanup web3-bot access

[galargh]

Related to protocol/.github#537

[github-actions]

Before merge, verify that all the following plans are correct. They will be applied as-is after the merge.

Terraform plans

ipni

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

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

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

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

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

  # github_repository_collaborator.this["go-indexer-core:web3-bot"] 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-indexer-core"
      + username                    = "web3-bot"
    }

  # github_repository_collaborator.this["go-libipni:web3-bot"] 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-libipni"
      + username                    = "web3-bot"
    }

  # github_repository_collaborator.this["go-naam:web3-bot"] 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-naam"
      + username                    = "web3-bot"
    }

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

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

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

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

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

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

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

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

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