RIOT OS webpage do not generate automaticaly from git repository

[krzysztof-cabaj]

Description

From few weeks doxygen webpage at doc.riot-os.org is not synchronized
with doxygen code in github. At the footer there is date Tue May 20 2025 00:20:29
but at least few PR which touch doxygen are missed, for example, PR #21561, PR #21554, PR #21550.

Steps to reproduce the issue

For example, compare actual board doc page for nucleo-l412kb in RIOT OS webpage and
last PR which extends it - PR #21554.

Expected results

The most recent code merged to the repository, generated by Murdock PR #21554 .

Actual results

Actual board doc page from RIOT OS web page.

[crasbe]

@OlegHahm fixed it, even though it is a bit unclear what the issue was.

Thanks for reporting the issue :)

[OlegHahm]

There were at least an issue with the script complaining about "dubious ownership" of the directory where the RIOT repo has been cloned to. I "fixed" that and hope that it does the trick for good.