default value of git push modified to matching