Add details about merging pull requests#1808

nedbat merged 2 commits into

python:mainpython/devguide:mainfrom

nedbat:nedbat/finish-prsnedbat/devguide:nedbat/finish-prsCopy head branch name to clipboard