Adding git push to git.alias.