user-manual: Use request-pull to generate "please pull" text
commitae6ef554c8c785f96fce482e33cc78080aafc43f
authorW. Trevor King <wking@tremily.us>
Tue, 19 Feb 2013 10:05:01 +0000 (19 05:05 -0500)
committerJunio C Hamano <gitster@pobox.com>
Tue, 19 Feb 2013 20:56:30 +0000 (19 12:56 -0800)
tree24255d2a4ff8f5ccf8565e3c03082b4c44e17dd2
parent6c26bf4d4e4b1f40dcd067f8ce0c76f64eab9f47
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>
Documentation/user-manual.txt