Update git push setting

Replace deprecated synonym.