git checkout github pr branch