Updated pull request documentation.
Updated pull request documentation.

Minor clarifications to the documentation. Includes emphasis on
soliciting feedback before starting a large amount of work.

[ci skip]

bkuhlmann/git-cop,bkuhlmann/git-cop