What if people use two different GHEs at the same time and `gh.host` is a global setting. But I guess the chance is slim.