Closed mbackenkoehler closed 1 year ago
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.
Hi @mbackenkoehler, thanks a lot for this update - ready to go from my side.
@dominiquesydow thanks that is a good idea, @mbackenkoehler can you coordinate this?
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 likeci-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 tomaster
. @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?
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 https://github.com/volkamerlab/teachopencadd/pull/335#issuecomment-1527474866, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABW7RNP5C7V6LHBDGJYSVZ3XDOXZJANCNFSM6AAAAAAXMD3NAE . You are receiving this because you were mentioned.Message ID: @.***>
Description
Switch from
broken-link-checker
tolinkinator
. The former seems to be dead.Todos
Notable points that this PR has either accomplished or will accomplish.
Questions
Status