Are you sure it is redhat hosting and not Fedora hosting?
If it is Fedora, you can include me in the mail loop, i'll ask for help to fedora to a
contributors I know.
Le 30 janvier 2024 02:50:18 GMT+01:00, Martin Quinson <Martin.Quinson(a)ens-rennes.fr>
a écrit :
The problem is that the website is kindly hosted by redhat,
not on github pages or somewhere else where it can easily be automated.
I asked for help to our friends at redhat asking for a way to automatize
things, and they said they need some info to help.
Jean-Baptiste