The whole point of git is that they can simply remove github and put in a new remote host and start using that. Annoying that their issues/other data go up in

The whole point of git is that they can simply remove github and put in a new remote host and start using that. Annoying that their issues/other data go up in smoke and they lose the OSS aspect of github.