Change zsh theme.
Add alias for git push origin develop.