Re: manpages.debian.org next update?

Hello Otto

Thanks for your interest.

manpages.debian.org is run by the DSA team,

see https://wiki.debian.org/Teams/DSA and/or https://dsa.debian.org/

DSA runs a VM called manziarly.debian.org.

After Debian mirrors are updated, this VM gets an SSH login,

which in turn triggers running Debiman via a command restriction:

manziarly% cat /etc/ssh/userkeys/manpages
from="syncproxy3.wna.debian.org,…",restrict,command="/srv/manpages.debian.org/debiman/mirror-push.bash" …

All Debian-specific assets for Debiman can be found here,

including the mirror-push.bash script and others:

https://salsa.debian.org/manpages-team/debian-assets

I believe this line configures where the static mirroring systems copies from/to:

https://salsa.debian.org/dsa-team/mirror/dsa-puppet/-/blob/99bf943b48089f19f03ef365d4986d62a6338808/modules/staticsync/data/common.yaml#L59

If you have more questions, it would probably be best to ask them to DSA directly.

Hope that helps

Best regards

Michael

On Fri, 27 Dec 2024 at 17:35, Otto Kekäläinen <otto@debian.org> wrote:

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.