Tweaked push.default in .bashrc files