<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Thu, 14 Jul 2016 at 11:05 Tres Seaver <<a href="mailto:tseaver@palladion.com">tseaver@palladion.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br>
<br>
On 07/14/2016 11:47 AM, Guido van Rossum wrote:<br>
<br>
> If you intend a PR as a base for discussion you can add a comment<br>
> saying e.g. "Don't merge yet". If you call out @gvanrossum, GitHub<br>
> will make sure I get a message about it.<br>
<br>
FWIW, I often use a Github label, "don't merge" (colored red for<br>
urgency), to indicate that PRs are still in discussion stage:  removing<br>
it is a lightweight way to signify that blocking issues have been<br>
resolved (in the opinion of the owner/matintainer, anyway).<br></blockquote><div><br></div><div>Just start the title with `[WIP]` and it will be obvious that it's a work-in-progress (it's a GitHub idiom). </div></div></div>