Fix git push error when branch has same name as directory. (#4834)
Fix git push error when branch has same name as directory. (#4834)

* fix error when branch has same name as directory

* two other places with --

* grammar nits

souravbadami/oppia,prasanna08/oppia,kevinlee12/oppia,oppia/oppia,oppia/oppia,AllanYangZhou/oppia,kevinlee12/oppia,prasanna08/oppia,kevinlee12/oppia,AllanYangZhou/oppia,kevinlee12/oppia,AllanYangZhou/oppia,brianrodri/oppia,souravbadami/oppia,souravbadami/oppia,prasanna08/oppia,oppia/oppia,prasanna08/oppia,AllanYangZhou/oppia,oppia/oppia,brianrodri/oppia,brianrodri/oppia,souravbadami/oppia,brianrodri/oppia,prasanna08/oppia,kevinlee12/oppia,oppia/oppia,brianrodri/oppia,souravbadami/oppia