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