Enhance instructions for checking out pull requests locally#44013

maxhild wants to merge 2 commits intogithub:maingithub/docs:mainfrom

maxhild:patch-1maxhild/docs:patch-1Copy head branch name to clipboard