Merge pull request #12687 from notalex/master

Update pull request instructions as per the new Github UI [ci skip]