It looks like we killed repo.anhonesthost.net.

Can the hpr_generator repo be moved to gitlab.com?  Moving the repo would eliminate the need for an additional read only mirror, and we could take advantage to gitlab's CICD.