Added forgotten part of git push command