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.