doc/manual.txt: extend the "Contributing via git" section.

This commit is contained in:
Juan RP 2013-12-15 11:29:29 +01:00
parent 1ed16b0058
commit c0c34b734e

View file

@ -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.