.bashrc: use the standard mechanisms for updating git repo (gpull, gup)