Update the current embedded WG members list

[therealprof]

All inactive/hibernating members are moved to the alumni section to
recognize their contributions.

CC rust-embedded/wg#476

Signed-off-by: Daniel Egger [email protected]

[pietroalbini]

We need to change the team repo to avoid including WG alumni to the all@ mailing list before merging this PR.

[therealprof]

We need to change the team repo to avoid including WG alumni to the all@ mailing list before merging this PR.

Is that something I can/should do and if so can you give any pointers what you mean by that?

[pietroalbini]

The source code of the team repo would need to change.

Unfortunately I don't have much time to provide pointers in the next few days, but I'll get around to do the change soon. If you want to try of course you're free to do so :)

[therealprof]

Well, in any case this PR should be good to go because it doesn't make any difference whether the people receive emails to @ALL due to being on the active members list or on the alumni list. ;)

[pietroalbini]

Well, in any case this PR should be good to go because it doesn't make any difference whether the people receive emails to @ALL due to being on the active members list or on the alumni list. ;)

Well, working groups are not on all@.

[pietroalbini]

Opened #380 to remove alumni from all@.

[therealprof]

Thank you!

[therealprof]

BTW: I don't see the update on the website yet, despite this being merged 3 hours ago and the team frontpage claiming it'd be synchronized every 2 minutes.

[pietroalbini]

GitHub is being funky today

[pietroalbini]

The change should be live now.

[therealprof]

Yes, confirmed. Thanks!