.bashrc: added convenience alias 'gpull'