Previously we used github pages to host the documentation (https://happy-algorithms-league.github.io/hal-cgp/), but now we use readthedocs (https://readthedocs.org/projects/hal-cgp/).
We should remove github pages to avoid confusing, shouldn't we @mschmidt87 ? If so, could you take care of this or let us know how it's done?
Previously we used github pages to host the documentation (https://happy-algorithms-league.github.io/hal-cgp/), but now we use readthedocs (https://readthedocs.org/projects/hal-cgp/).
We should remove github pages to avoid confusing, shouldn't we @mschmidt87 ? If so, could you take care of this or let us know how it's done?