Added git push options to avoid logging github keys