Update gitconfig to use simple pushes, the new standard: http://blog.nicoschuele.com/?p=217