[ghc-steering-committee] new process on GitHub

[Richard Eisenberg]

Hi Joachim,

Might I make a small suggestion: for the next 3 (arbitrary number) times a committee comes up for discussion on GitHub, could you send an email to the list, in addition to the other steps taken? This would help make sure that no proposal gets lost while we work out any notification bugs. Committee members should, ideally, be aware of the proposal discussion without this email, but it's good to be doubly sure.

Thanks!
Richard