LEAVERS

These are the steps for someone leaving the team.

Leaver has to:
  - Update all open issues and PRs responded to on GitHub

Administration tasks:
  - Reassign leaver's Github issues to project lead
  - Remove from GitHub's project members. This will include Git access. They will need to make PRs like everyone else.
  - If applicable, remove admin access to nagios-plugins.org
  - If applicable, remove from mailing list administrators
  - If applicable, remove member access to coverity
