Change default push style to adopt 2.0 default early
Keep longer bash history