gitconfig: aliase and push default