Docs CI: switch to linkinator

[mbackenkoehler]

Description

Switch from broken-link-checker to linkinator. The former seems to be dead.

Todos

Notable points that this PR has either accomplished or will accomplish.

• Check all dead links

Questions

• What's the reasoning behind the excludes?

Status

• Ready to go

[mbackenkoehler]

Merging this will resolve #333

There are a lot of dead links around, which need to be fixed manually. I will open a separate issue for that.

[dominiquesydow]

Hi @mbackenkoehler, thanks a lot for this update - ready to go from my side.

[dominiquesydow]

Hi @mbackenkoehler,
As there are a couple of PRs that depend on each other in order to get the CI pass, could you please branch off master something like ci-fixes-base and then merge all the open PRs to that branch first?
Basically, so that we see the full CI pass before merging everything to master. @AndreaVolkamer, please do intervene if you'd like to go ahead in another way.

[AndreaVolkamer]

@dominiquesydow thanks that is a good idea, @mbackenkoehler can you coordinate this?

[mbackenkoehler]

Hi @mbackenkoehler, As there are a couple of PRs that depend on each other in order to get the CI pass, could you please branch off master something like ci-fixes-base and then merge all the open PRs to that branch first? Basically, so that we see the full CI pass before merging everything to master. @AndreaVolkamer, please do intervene if you'd like to go ahead in another way.

Maybe we should use a general dev branch for that. Since there are also some non-CI issues that should be done and merged simoultaneously. @dominiquesydow Do we want to use the existing dev branch?

[dominiquesydow]

Good idea!

…

On Fri 28. Apr 2023 at 13:12, Michael Backenköhler ***@***.***> wrote: Hi @mbackenkoehler <https://github.com/mbackenkoehler>, As there are a couple of PRs that depend on each other in order to get the CI pass, could you please branch off master something like ci-fixes-base and then merge all the open PRs to that branch first? Basically, so that we see the full CI pass before merging everything to master. @AndreaVolkamer <https://github.com/AndreaVolkamer>, please do intervene if you'd like to go ahead in another way. Maybe we should use a general dev branch for that. Since there are also some non-CI issues that should be done and merged simoultaneously. @dominiquesydow <https://github.com/dominiquesydow> Do we want to use the existing dev branch? — Reply to this email directly, view it on GitHub <#335 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABW7RNP5C7V6LHBDGJYSVZ3XDOXZJANCNFSM6AAAAAAXMD3NAE> . You are receiving this because you were mentioned.Message ID: ***@***.***>