Git push behavior changed to the future default