allow disabling git push for people working with a pure local git repo