Modify pull-request instructions

Delete sentence about effect of merger (because merger does not delete the branch being merged from the personal Github repo).