0c17876
Include documentation on how to pull locally a pull-request on the PR page Fixes https://pagure.io/pagure/issue/2823 Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>