Austin, Herbert,
All good with me. Thanks for working on this.
- Send email to all existing committers inviting them to
* create an entry on the GHC Committers page, saying who they are, where
they work, and what they work on in GHC
* reply to you asking for continued commit permission
Lacking such a reply, you can omit them. In this way we'll get an up to date
list.
- Perhaps we should have a convention that no commits in a year means you lose
commit permission. You can be reinstated by asking, but it means we don't have
a list filled with ex-committers.