add achingbrain to read the probelab-infra repo cc: @SgtPooki

[cortze]

Summary

Grant @achingbrain reading permissions to the probelab-infra repo.

Why do you need this?

As suggested by Russell (@SgtPooki), @achingbrain should have at least reading access to the infra repo to see how is the Helia monitoring set up.

What else do we need to know?

DRI: @cortze

Reviewer's Checklist

• It is clear where the request is coming from (if unsure, ask)
• All the automated checks passed
• The YAML changes reflect the summary of the request
• The Terraform plan posted as a comment reflects the summary of the request

[github-actions]

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

Access Changes

User achingbrain:
  - will gain pull permission to probelab-infra

[github-actions]

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

Terraform plans

probe-lab

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

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

[yiannisbot]

LGTM. At a later stage we should consider removing whizzzkid, since I don't believe he needs access anymore.