Closed JohannesLipp closed 1 year ago
Note to ourselves (incl. @lcomet ): In this issue, we do not yet decide, which things are still relevant. Instead, we keep everything and #526 (and esp. #527 ) continue from there.
The required changes to solve this issue are pushed to the gh-pages under this commit
Thank you for your great work, @lcomet !
Mentioned in today's IDS mail: "As of the middle of August 2022, you will no longer be able to access Jive".
Our current docu generation scripts download and use information from Jive.
Please