Set git push.default to simple to remove warning messages on Travis