Added default option for push in .gitconfig file