Skip to content

Update Debian mirror domain to deb.griffo.io - #473

Closed
dariogriffo wants to merge 1 commit into
ghostty-org:mainfrom
dariogriffo:update-debian-mirror-domain
Closed

Update Debian mirror domain to deb.griffo.io#473
dariogriffo wants to merge 1 commit into
ghostty-org:mainfrom
dariogriffo:update-debian-mirror-domain

Conversation

@dariogriffo

@dariogriffo dariogriffo commented Jul 13, 2026

Copy link
Copy Markdown
Contributor

Follow-up to #380.

The community Debian repository has moved from debian.griffo.io to deb.griffo.io to comply with the Debian trademark policy (Debian trademarks may not be used in domain names). Same repository, packages, and signing key — only the domain changed.

The old domain serves permanent redirects, so existing links keep working, but the docs should point at the canonical URL.

@vercel

vercel Bot commented Jul 13, 2026

Copy link
Copy Markdown

@dariogriffo is attempting to deploy a commit to the Ghostty Team on Vercel.

A member of the Team first needs to authorize it.

The community Debian repository moved from debian.griffo.io to
deb.griffo.io to comply with the Debian trademark policy (no Debian
trademarks in domain names). The old domain permanently redirects.
@dariogriffo
dariogriffo force-pushed the update-debian-mirror-domain branch from f56d36c to 6ad2a4a Compare July 13, 2026 14:23
@mitchellh mitchellh closed this Jul 15, 2026
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