Change git push behavior to "simple"

See http://blog.nicoschuele.com/?p=217