Add Miro and Srdjan to ff-eng

[ianconsolata]

Summary

Also make lanzafame and batjos admin's of filhyperspace

Why do you need this?

Miro and Srdjan just joined the FilHyperspace team

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]

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

Access Changes

User bajtos:
  - will gain maintain permission to filhyperspace
User lanzafame:
  - will have the permission to filhyperspace change from maintain to admin
User pyropy:
  - will gain maintain permission to filhyperspace
User batjos:
  - will gain admin permission to filhyperspace

[github-actions]

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

Terraform plans

filecoin-project

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

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

  # github_team_membership.this["ff-eng:bajtos"] will be created
  + resource "github_team_membership" "this" {
      + etag     = (known after apply)
      + id       = (known after apply)
      + role     = "member"
      + team_id  = "16228647"
      + username = "bajtos"
    }

  # github_team_membership.this["ff-eng:pyropy"] will be created
  + resource "github_team_membership" "this" {
      + etag     = (known after apply)
      + id       = (known after apply)
      + role     = "member"
      + team_id  = "16228647"
      + username = "pyropy"
    }

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