Remove git pull

We don't need a pull since we're not doing local branch checkouts any more