paul: git no longer aliases to hub