<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Apr 17, 2019 at 11:01 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
>    2. I think it would be good to try to keep the committee<br>
> discussion on Github more or less restricted to the committee and the<br>
> proposal author.  I think this would help keep steer discussions<br>
> towards termination (which is sometimes difficult even when we are<br>
> restricted to just the committee :-)<br>
<br>
Likely not possible from a technical point of view, but without<br>
enforcement not possible from a social point of view. I think if we<br>
move the discussion to Github, we have to face (and maybe benefit!)<br>
from a larger group of participants.<br>
<br>
(You can lock conversations, but that would also lock out the original<br>
author, see <a href="https://help.github.com/en/articles/locking-conversations" rel="noreferrer" target="_blank">https://help.github.com/en/articles/locking-conversations</a>)<br><br></blockquote><div><br></div><div>Yeah, I didn't mean that we should do anything technical, just have this be the specified process and hope that people more or less follow it.</div><div>Obviously, if someone has something productive to say during the committee discussion, they can mention it and we can try to address it.</div><div><br></div><div>However, I think there is a benefit to encourage the community to give their feedback before the committee discussion has begun,</div><div>as I think this 1) helps improve proposals, and 2) enables us (the committee) to read through the discussion to see what the current opinions are---</div><div>I find this quite helpful, as it gives me an idea of what people like/dislike, and sometime points out issue I hadn't thought about.</div><div><br></div><div>-Iavor</div><div><br></div><div> </div></div></div>