Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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>
- Loading branch information