Skip to content

TypedPython: no PyPI publishing - #356

Merged
b-re-w merged 1 commit into
developfrom
feat/typedpython-no-pypi
Oct 29, 2026
Merged

b-re-w merged 1 commit into
developfrom
feat/typedpython-no-pypi

Conversation

@b-re-w

@b-re-w b-re-w commented Oct 29, 2026

Copy link
Copy Markdown
Member

Refs #354 (closed as not planned)

Maintainer decision 2026-10-30: PyPI is not needed; the wheel ships with the GitHub Release and the thisisthepy distribution. Removes .github/workflows/typedpython-pypi.yml (the pypi environment was deleted too) and corrects docs/INTENT.md §1.4.

…ase and the distribution

Maintainer, 2026-10-30: the GitHub Release and the thisisthepy distribution are enough. Removes typedpython-pypi.yml; INTENT 1.4 says so.
@b-re-w
b-re-w merged commit 66a1410 into develop Oct 29, 2026
@b-re-w
b-re-w deleted the feat/typedpython-no-pypi branch October 29, 2026 19:59
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