Added correct git push style.