bash: tweak git/hub alias