[PATCH] discovery: if a push would create a new head, mention the bookmark name if any

[Matt Mackall]

On Tue, 2014-05-20 at 21:52 +1000, Stephen Lee wrote:
> # HG changeset patch
> # User Stephen Lee <sphen.lee at gmail.com>
> # Date 1394265759 -39600
> #      Sat Mar 08 19:02:39 2014 +1100
> # Node ID d3e97c6056914731d9cb4c3b2a863b8c5f734711
> # Parent  d19164a018a175cda640066a1f32651834e4f011
> discovery: if a push would create a new head, mention the bookmark name if any

Queued for default, thanks.

-- 
Mathematics is the supreme nostalgia of our time.