Skip to content

chore: point repo and docs URLs at heibench - #18

Merged
CameronBrooks11 merged 1 commit into
mainfrom
chore/heibench-urls
Sep 5, 2026
Merged

chore: point repo and docs URLs at heibench#18
CameronBrooks11 merged 1 commit into
mainfrom
chore/heibench-urls

Conversation

@CameronBrooks11

Copy link
Copy Markdown
Member

The repository moved to heibench/gerberdiff.

GitHub redirects repo URLs (301) but not Pages. Verified after the transfer:

URL status
https://cameronbrooks11.github.io/gerberdiff/ 404
https://heibench.github.io/gerberdiff/ 200

The README's Docs badge linked to the dead host, so it was broken rather than stale.

Updates 47 references across 8 files: mkdocs.yml (site_url/repo_url/repo_name), the four project.urls, README badges and links, CONTRIBUTING.md, SECURITY.md, docs/index.md, .github/ISSUE_TEMPLATE/config.yml, and the CHANGELOG's docs-site link.

GitHub already updated the repo homepage field on transfer.

Gate (CI-equivalent): ruff check + ruff format --check + mypy + pytest — 463 passed.

The repository moved to the heibench org. GitHub redirects repo URLs but
NOT Pages: https://cameronbrooks11.github.io/gerberdiff/ now returns 404
and https://heibench.github.io/gerberdiff/ serves the site, so the docs
badge and links were broken rather than merely stale. Verified both.

Includes mkdocs site_url/repo_url/repo_name, the four project.urls, the
issue-template config and the CHANGELOG's docs-site link.
@CameronBrooks11
CameronBrooks11 merged commit 8828775 into main Sep 5, 2026
8 checks passed
@CameronBrooks11
CameronBrooks11 deleted the chore/heibench-urls branch September 5, 2026 20:50
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