no need to modify SHARE_HISTORY here
more improvements to git aliases