Fix red develop 87e761e1e75f

Task 13051 · Done · Coder · created · updated

The merge lane found `develop` red at `87e761e1e75f37eb260b54b1f0d6fc5ec7d33401` on its own: no queued PR merges until it is fixed. Failing (tests and gate stages): - `docs-site-build-link-check` The whole gate log: artifact `14863` on lane task 13049. Make `develop` pass its full gate again. Open a PR as usual: the merge lane merges a PR that fixes some of these and adds no failure even while `develop` is red.

Outcome

Fixed red develop: docs link in add-a-credential pointed at removed #sign-in-panels anchor; now #connect. Docs build + quick gate green locally; PR #7821 queued in merge lane. Report upload returned bad_request (advisory).

Pull request

Activity

  • Ready
  • Runner started
  • Runner ended (done)