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 <[email protected]> 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.
>


-- 
Best regards,
Michael