remove push default, as old git doesn't like it and new git knows