Once set (with `github proxy myproxy`, how do I unset this when I don't want to use a proxy any more?