Re: manpages.debian.org next update?

Hi,

> > Is there any public documentation on the server that hosts
> > manpages.debian.org?
> >
> > What can a DD do to help when it seems that the pages haven't updated for a
> > couple of months?
> >
> >
> > I found some bug reports from 2021 (that are still open) but I can't find
> > any docs on what exactly the manpages.debian.oeg backend is.
> >
> > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986030
> > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994761
>
> There is https://manpages.debian.org/faq.html which I believe answers most of
> your questions; the code which runs manpages.debian.org is

I did read the FAQ before reading the bug reports or mailing this
list, and the answers to my two questions above are not to be found in
the FAQ, hence I was hoping somebody on the mailing list would know.

> https://github.com/Debian/debiman/ ; pull requests (
> https://github.com/Debian/debiman/pulls ) are welcome ; seems it's mainly the
> work of Michael Stapelberg .

Unfortunately, a PR to the software itself is not going to affect how
manpages.debian.org is hosted or updated. I do not think there is
anything wrong with the code - it is more likely something that can
only be fixed with access to the thing that hosts manpages.debian.org.