Flummoxed by IT: Git: Checkout code from Github Pull Request