[PATCH] ui: replace obsolete default-push with default:pushurl (issue5485)

[Yuya Nishihara]

On Sun, 26 Feb 2017 10:29:19 +0530, Rishabh Madan wrote:
> # HG changeset patch
> # User Rishabh Madan <rishabhmadan96 at gmail.com>
> # Date 1488022041 -19800
> #      Sat Feb 25 16:57:21 2017 +0530
> # Node ID d2c41681512393835dd8fc3249eb45147e22549d
> # Parent  88203f26ea57627cabd7cf9c4f7843661d6c43ae
> ui: replace obsolete default-push with default:pushurl (issue5485)

This is considered a documentation fix, so queued for stable. Thanks.