First unset history.
Set default push for newer git versions.
Add `pp` snippet.