follow the suggestion to update git's push behavior since 2.0