Offboarding

Offboarding is to be done by someone with the "Admin" role.

• Remove member from the Github repo's members list.
• In the Members document, move member to the "Alumni" section.