Repository navigation
typetools/checker-framework 3.53.1 release - #2210
Merged
Merged
Conversation
Co-authored-by: Liam Miller-Cushon <[email protected]> Co-authored-by: Michael Ernst <[email protected]> Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Rui Fernandes <[email protected]> Co-authored-by: shubham kapoor <[email protected]> Co-authored-by: Suzanne Millstein <[email protected]> Co-authored-by: Vivek Singh Solanki <[email protected]>
The import replaced docs/developer/gsoc-ideas.html and new-contributor-projects.html by typetools' content. This fork redirects both to eisop.github.io, so restore the redirects. Point the @SideEffectsOnly link of the mutable index project at the eisop manual. Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
Instead of restoring the redirect stubs, keep typetools' gsoc-ideas.html and new-contributor-projects.html as imported, which avoids conflicts in later imports, and point their links at eisop: the eisop.github.io manual and API, and the eisop repositories. Links to specific typetools issues and pull requests stay. Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
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
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.
Second step of the typetools 3.53.1 import (the first is the squashed import already in
typetools-3.53.1-fixes). Merge without squashing.docs/developer/gsoc-ideas.htmlandnew-contributor-projects.htmlare kept as imported, to avoid conflicts in later imports; their links now point at eisop resources (theeisop.github.iomanual and API, the eisop repositories). Links to specific typetools issues and pull requests stay. The@SideEffectsOnlylink inmutable-index-checking-project.mdpoints at the eisop manual.issue7360test comment (a URL in a tracked file creates no cross-reference);spotlessCheckunder JDK 23 (which also covers the Java 22 tests) andmake style-checkpass; the 3.53.1 CHANGELOG section matches typetools' (issue list only).Companion branches with the same name, used by CI: eisop/jdk
typetools-3.53.1-fixes(theCanShrinkrename, eisop/jdk#161) and eisop-plume-lib/plume-utiltypetools-3.53.1-fixes(a suppression that is unneeded with this Checker Framework). Merge order: this PR, then eisop/jdk#161; the plume-util change when plume-util moves to a release that includes this.