add @juliangruber to pdp-explorer push list

[juliangruber]

Summary

add myself to pdp-explorer push list

Why do you need this?

@SgtPooki requested me to edit issue description FilOzone/pdp-explorer#106, which I'm lacking permissions for.

What else do we need to know?

DRI: myself

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]

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

FilOzone

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

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

[github-actions]

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

Access Changes

User juliangruber:
  - will gain push permission to pdp-explorer