Oops, wrong order on the directory change, and git pull