fixed push defult option to work with old version of git