Free up seats for new users (remove brendalee and LaurenSpiegel)

[rvagg]

Remove @brendalee and @LaurenSpiegel as inactive alumni.

Hi Brenda & Lauren! I hope you're well and enjoying post-PL life! I picked your names as people I know aren't active in here any more.

This can be reverted if there's a good reason to keep these entries in here, for now I just need a couple more seats.

Similar to #164

[github-actions]

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

Access Changes

User brendalee:
  - will leave the organization
User laurenspiegel:
  - will leave the organization

[rvagg]

Nope, that doesn't work apparently.
I'll leave this for @BigLep to do something like #164 (comment) I guess.

[rjan90]

I looked if I could convert them to outside contributors, but I think we need someone like @BigLep or @galargh with even higher perms to be able to do that. At least I can't see the "Three Dots" option in https://github.com/orgs/filecoin-project/people.

[BigLep]

Yeah, you can't remove members with github-mgmt. More describe here: https://github.com/filecoin-project/github-mgmt?tab=readme-ov-file#removing-members-from-the-organization

I will take this on by converting to be outside collaborators.

I'm waiting to sync up with @galargh on how outside collaborators play with github-mgmt.

[BigLep]

I freed up some other seats for now: #168

I have a tracking issue to do a more systematic cleanup: #169

I'll close this for now