Remove temp push default fix

Computer had old git version, not supporting "simple" as push default. Fix not nedded anymore.