Fixing push.default

git is not happy with "simple"