Remove web3-bot from codec-fixtures

[rvagg]

turns out this is neither useful nor does it fully work on this repo, so we'll just exclude it

[github-actions]

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

Access Changes

User web3-bot:
  - will lose push permission to codec-fixtures

[github-actions]

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

Terraform plans

ipld

Terraform used the selected providers to generate the following execution
plan. Resource actions are indicated with the following symbols:
  - destroy

Terraform will perform the following actions:

  # github_repository_collaborator.this["codec-fixtures:web3-bot"] will be destroyed
  # (because key ["codec-fixtures:web3-bot"] is not in for_each map)
  - resource "github_repository_collaborator" "this" {
      - id         = "codec-fixtures:web3-bot" -> null
      - permission = "push" -> null
      - repository = "codec-fixtures" -> null
      - username   = "web3-bot" -> null
    }

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

[rvagg]

@vmx @galargh can one of you 👍 this please so I can make web3-bot stop opening PRs to the codec-fixtures repo?

[galargh]

This makes sense 👍 @rvagg if you wanted to talk about how https://github.com/ipdxco/unified-github-workflows could better support repos like codec-fixtures or how we could help you with it in a custom way, let me know :)