Remove robertagora

[ianconsolata]

Summary

Remove Robert

Why do you need this?

Robert no longer works at FF

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 robertagora:
  - will leave the organization
  - will lose push permission to filecoin-docs
  - will lose admin permission to filecoin-solidity
  - will lose push permission to fvm-pm
  - will lose maintain permission to specs

[ianconsolata]

@galargh Is CI for this repo broken? I noticed the plan failed in the same way for both this PR and BigLep's most recent change: #181

[galargh]

Hey @ianconsolata ! The plan was indeed broken. Thank you for the ping. I fixed it in e8b8fb2

As for the PR, we do intentionally disallow member removal through github-mgmt because it's a non-trivial operation to revert (it requires an email acceptance).

I now removed robertagora from the org. This is going to get reflected in the github-mgmt config on the next sync.

[ianconsolata]

Thanks for handling @galargh!