Broken commit convention link

Stream: lean4 dev

[Alex Keizer]

The linter that check for the commit convention has a broken link, see https://github.com/leanprover/lean4/actions/runs/11077976712/job/30784373588?pr=5501.

The error points to https://leanprover.github.io/lean4/doc/dev/commit_convention.html, which redirects to https://www.lean-lang.org/lean4/doc/dev/commit_convention.html, but that page does not seem to exist

[Sebastian Ullrich]

Does it work again now?

[Alex Keizer]

The link I posted above is still broken. Not sure if you changed the CI action to do something else: I fixed my commit already so I'm not getting the error anymore

[Sebastian Ullrich]

It should be unbroken, you'll probably have to wait for DNS to propagate