3 These are the steps for someone leaving the team.
6 - Update all current issues on GitHub
9 - Reassign leaver's tracker items to project lead
10 - Remove from GitHub's project members. This will include Git access.
11 - Remove access from project server
12 - If applicable, remove from mailing list administrators
13 - Keep on team mailing list, unless specifically requested to be removed