Restore Pages and repository identity after ownership transfer - #36
Merged
Conversation
acecchini
marked this pull request as ready for review
September 10, 2026 07:45
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The transfer to
beartype/bearshapeleft Pages unavailable and documentation/package links pointing at the previous owner. Restore the website at https://beartype.github.io/bearshape/ and update active repository, edit, guide, notebook, sitemap/canonical and distribution metadata links. Add an explicit Documentation package URL and concrete checkout, Pages and PyPI publisher migration instructions.The existing Pages workflow restored service in run 34451065635. Merged at
c0874f34615ca3797b24601a91324f3c9beb462aand deployed corrected main in run 34451946028. Actions, the six workflows and Pages branch policy survived the transfer; no workflow code changes are needed. The local origin now uses the organization URL.Validation: locked docs build and structural checks pass (93 snippets); inspected all 23 generated pages and 23 sitemap URLs; built the sdist and its wheel, checked both archives and all four Project-URL fields; normal hooks pass; browser preview confirms the layout and new repository link. Push hooks exercise runtime tests and all four checkers. All 36 hosted checks passed on final head
7b48dea60d4dc42242e6cbfe2bf5516305810567in run 34451634588, including runtime/platform/floor/checker, docs/notebook, archive and installed consumer lanes.PyPI publisher trust is external and remains unverified. Before a future release, its identity must be owner
beartype, repositorybearshape, workflowpypi.yml, environmentpypi. Already-published 0.0.1 metadata is unchanged. Runtime behavior, dependency pins, authorship, copyright, historical plan evidence, manual deployment/publication gates and other open PRs are preserved. Post-merge CI run 34451947095 also passed all 36 checks. Live verification fetched all 23 documentation pages and 9 site assets with HTTP 200, verified canonical/repository/notebook URLs and the ownership update, and confirmed the rendered production layout. The main checkout is updated and the reviewed head is preserved in its history.The existing native-union release blocker remains open. No package publication or unrelated access-control changes are included.