Re: [ghc-steering-committee] Redid our documentation

Great! One small suggestion that just occurred to me: should we maybe note the GitHub handles of all committee members next to their name in the committee list? That might be useful for authors who want to approach people at some point to ask questions etc. Manuel

Joachim Breitner :

Hi,

Am Montag, den 27.02.2017, 14:00 +1100 schrieb Manuel M T Chakravarty:

...

Hence, I would suggest to require of proposal authors that they add a comment explicitly @mention’ing the secretary when they want to submit a proposal for review.

yes, this is precisely what the current process documentation ask the authors to do: https://github.com/ghc-proposals/ghc-proposals#how-to-bring-a-proposal-befor...

Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org