Use Pages when publishing repo to GitLab or GitHub
think pointing people to fetch raw files from gitlab.com is going to be a tad unethical. They wont have a CDN in front of the raw git files, and it will thus take more processing on their end each time someone requests a file. However if we are able to get them onto gitlab.io pages then it would aleviate most of those concerns.
So let's add a
.gitlab-ci.yaml and the equvalent for github before pushing the repo.
We should also not to forget to also adjust
get_raw_mirror(url) to the new URL (and maybe also rename the method).