Skip to content

docs: point the governance link at Elmdin/borromeanRings - #46

Merged
wimaan3 merged 1 commit into
mainfrom
docs/rename-to-elmdin
Sep 25, 2026
Merged

wimaan3 merged 1 commit into
mainfrom
docs/rename-to-elmdin

Conversation

@wimaan3

@wimaan3 wimaan3 commented Sep 25, 2026

Copy link
Copy Markdown
Contributor

The organisation was renamed 3MagicLabs → Elmdin, and the harness repo
borromeo → borromeanRings. This README still linked to
github.com/3MagicLabs/borromeo.

GitHub redirects the old path today, but a redirect dies the moment anyone
registers the vacated 3MagicLabs name — which is available — so the URL is
rewritten rather than left to redirect.

The link text moved with it. It read borromeo while pointing at
borromeanRings, which names a repository that no longer exists under that
name.

Opened as a PR because this repo's ruleset requires one plus a passing gate
check; the other nine repos took the change directly.

Test plan

  • gate passes
  • The borromeanRings link resolves without a redirect

3MagicLabs was renamed to Elmdin and borromeo to borromeanRings.
GitHub redirects die the moment anyone claims the vacated name.
@wimaan3
wimaan3 merged commit 6614f1b into main Sep 25, 2026
4 checks passed
@wimaan3
wimaan3 deleted the docs/rename-to-elmdin branch September 25, 2026 20:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant