modified .bashrc with better version of github-get-repositories