From c0c34b734ea570d2a74a2b2aecccdef1796f060d Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Sun, 15 Dec 2013 11:29:29 +0100
Subject: [PATCH] doc/manual.txt: extend the "Contributing via git" section.

---
 doc/manual.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/manual.txt b/doc/manual.txt
index b72528d0224..7a21990c792 100644
--- a/doc/manual.txt
+++ b/doc/manual.txt
@@ -433,3 +433,8 @@ To pull in new changes from `upstream`:
 --------------------------
 $ git pull upstream master
 --------------------------
+
+Once you've made changes to your `forked` repository you can submit
+a github pull request; see
+https://help.github.com/articles/fork-a-repo[github's help]
+for more information.