bashrc: make github usage clearer