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
