Adjust zsh history settings.
Adapt upcoming Git 2.0 push style.