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