<div dir="auto"><div class="gmail_extra" dir="auto"><div class="gmail_quote"><br><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
How do people feel about changing our policy to say changes<br>
should all happen via pull requests (and take advantage of the<br>
GitHub settings to enforce this)?<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">In my case: strongly in favor</div><div class="gmail_extra" dir="auto"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div></div></div>