Using github's special refs of refs/pull/{number}/HEAD to improve speed of fetching pr branch