Rename to older push.default alias that still works on shitty old git versions