filecoin-project / github-mgmt

0 stars 6 forks source link

Adding @davidgasquez back as an org member #81

Closed BigLep closed 3 weeks ago

BigLep commented 3 weeks ago

@davidgasquez is is involved with multiple Filecoin data initiatives, including https://github.com/davidgasquez/filecoin-storage-providers-market most recently. I want to enable this work to be done under the filecoin-project namespace.

Reviewer's Checklist

github-actions[bot] commented 3 weeks ago

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

Access Changes ``` User davidgasquez: - will join the organization as a [object Object] (remind them to accept the email invitation) ```
github-actions[bot] commented 3 weeks ago

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_membership.this["davidgasquez"] will be created + resource "github_membership" "this" { + etag = (known after apply) + id = (known after apply) + role = "member" + username = "davidgasquez" } Plan: 1 to add, 0 to change, 0 to destroy. ```
BigLep commented 3 weeks ago

I'm not planning to wait for a second review here as this isn't granting admin/write privileges anywhere. And if I screwed something up here, we can revert. I did make sure all the checks pass and look right.