From: W. Trevor King <wking@tremily.us>
Date: Tue, 19 Feb 2013 10:05:01 +0000 (-0500)
Subject: user-manual: Use request-pull to generate "please pull" text
X-Git-Tag: v1.8.1.5~2^2~1
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/ae6ef554c8c785f96fce482e33cc78080aafc43f?hp=ae6ef554c8c785f96fce482e33cc78080aafc43f

user-manual: Use request-pull to generate "please pull" text

Less work and more error checking (e.g. does a merge base exist?).
Add an explicit push before request-pull to satisfy request-pull,
which checks to make sure the references are publically available.

Signed-off-by: W. Trevor King <wking@tremily.us>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---