remove editors that have lower activities

[jennijuju]

more discussion in https://github.com/filecoin-project/FIPs/discussions/960

@arajasek has 👍 this change.

@momack2 / @raulk have not engaged in the discussion yet, looking forward to their feedback on this PR if they have any objections. Otherwise, after get 2 approval from the remaining fip editors, I will merge this PR. Always happy to add folks back when they could allocate more of their time to help with the FIP editing work!

[jennijuju]

I will make the changes to @filecoin-project/fips-editors once this pr is approved

[jennijuju]

I'm generally in favour of retaining anyone who expresses the wish to stay and resume work.

I agree!

[momack2]

I would like to stay as a FIP Editor so that I can help unblock PRs with addl reviews when they get stuck (as happened a few weeks back on F3). 🙏 Happy to also add more folks who step up though!

[raulk]

@jennijuju it looks like this has garnered the desired level of approvals. Should we go ahead and merge to formally relieve outgoing FIP editors of their duties? (We seem to be in some form of a limbo.)

P.S. I explained my views/position here: https://github.com/filecoin-project/FIPs/discussions/960#discussioncomment-9111441. Happy to continue engaging on that thread as a non-editor going forward (at whichever rate is possible for me).