Skip to content

Fix broken links from repo rename (2025-aichallenge-devkit → STORM-AI-devkit-2025) - #29

Open
gordonkoehn wants to merge 1 commit into
ARCLab-MIT:mainfrom
gordonkoehn:fix/broken-background-link
Open

Fix broken links from repo rename (2025-aichallenge-devkit → STORM-AI-devkit-2025)#29
gordonkoehn wants to merge 1 commit into
ARCLab-MIT:mainfrom
gordonkoehn:fix/broken-background-link

Conversation

@gordonkoehn

Copy link
Copy Markdown

The docs reference the old repo name ARCLab-MIT/2025-aichallenge-devkit, which was renamed to ARCLab-MIT/STORM-AI-devkit-2025. The old URL now 404s (confirmed: the old repo no longer resolves via the GitHub API).

The broken link appears on the rendered docs page: https://2025-ai-challenge.readthedocs.io/en/latest/background.html ("the model this competition is inspired by").

…-devkit-2025)

The repo was renamed; the old name 404s. Update:
- docs/background.md: background_model link to the current repo
- docs/installation.md: cd target after git clone
Copilot AI review requested due to automatic review settings June 21, 2026 11:49

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates documentation URLs/paths to reflect the repository rename from ARCLab-MIT/2025-aichallenge-devkit to ARCLab-MIT/STORM-AI-devkit-2025, fixing broken links in rendered docs.

Changes:

  • Fix cd target in the installation instructions to match the cloned repo folder name.
  • Update the “model this competition is inspired by” link in background docs to the renamed repo.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
docs/installation.md Updates the post-clone cd directory name to STORM-AI-devkit-2025.
docs/background.md Repoints the GitHub link to the renamed repository path.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

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.

2 participants