added default=simple configuration, so that I don't need to type "git push origin master" everytime