Per git prompting, explicitly set push.default to simple.