use simple git push by default