Add pull for pulling when pushed to github.