Skip to content

Remove typship mention - #5924

Merged
saecki merged 1 commit into
mainfrom
remove-typship
Oct 2, 2026
Merged

saecki merged 1 commit into
mainfrom
remove-typship

Conversation

@elegaanz

Copy link
Copy Markdown
Member

Fixes #4753

@elegaanz elegaanz added the meta A PR that is not for a package, but for the package system itself. label Sep 23, 2026
@elegaanz
elegaanz deployed to Package Check September 23, 2026 09:09 — with GitHub Actions Active
@saecki
saecki merged commit ec7c46e into main Oct 2, 2026
2 checks passed

This branch was successfully deployed

1 active deployment
Package Check — 6c41c553 Deployed Sep 23, 2026 by elegaanz via Lint #6177
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

meta A PR that is not for a package, but for the package system itself.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Alternative to typeship

2 participants