git: specify push strategy