Change: Disable git pull by default, github actions do that already.

Change: Disable git pull by default, github actions do that already. #89