Broken link in GitHub sidebar

[cwfoo]

http://ocaml-batteries-team.github.com/batteries-included/hdoc2/ is broken. It should be https://ocaml-batteries-team.github.io/batteries-included/hdoc2/ instead.

[UnixJunkie]

Yes, this is the link shown here:
https://github.com/ocaml-batteries-team/batteries-included
at the top right.
I don't know how to change it personally.

[UnixJunkie]

Maybe someone needs the right to change project properties.

[UnixJunkie]

@thelema can change this maybe ?

[UnixJunkie]

Not having our doc link correct on the front page of the project doesn't look very serious...

[hybras]

Its not serious, but its also a 2-3 char change.

https://github.blog/changelog/2021-01-29-github-pages-will-stop-redirecting-pages-sites-from-github-com-after-april-15-2021/

[UnixJunkie]

Maybe @gasche has the rights to do this change.

[Niols]

Note that this also applies to all the links given on: https://ocaml-batteries-team.github.io/batteries-included/