[git] Revert push.default to the current default for compatibility.
[bash] Add `history' function.
[hg] Page the output of help.