Message-ID: <gh-pgjdbc-pgjdbc-3634-c2941361286@github.com>
From: "timtebeek (@timtebeek)" <noreply+timtebeek@github.com>
To: "pgjdbc/pgjdbc" <noreply+pgjdbc-pgjdbc@github.com>
Date: Wed, 04 Jun 2025 20:25:00 +0000
Subject: Re: [pgjdbc/pgjdbc] issue #3634: Migrate nullability annotations from checkerframework to jspecify
In-Reply-To: <gh-pgjdbc-pgjdbc-3634@github.com>
References: <gh-pgjdbc-pgjdbc-3634@github.com>
List-Id: <gh-pgjdbc-pgjdbc.github.com>
X-GitHub-Author-Login: timtebeek
X-GitHub-Comment-Id: 2941361286
X-GitHub-Comment-Type: issue_comment
X-GitHub-Issue: 3634
X-GitHub-Repo: pgjdbc/pgjdbc
X-GitHub-Type: comment
X-GitHub-Url: https://github.com/pgjdbc/pgjdbc/issues/3634#issuecomment-2941361286
Content-Type: text/plain; charset=utf-8

hi yes we recently added this best practices recipe for JSpecify, both to migrate away from a few existing ones, as well as to add in any potentially missing annotations:
https://github.com/openrewrite/rewrite-migrate-java/blob/a130cbbbe4fb70220755a2833100c746e390a5f0/src/main/resources/META-INF/rewrite/jspecify.yml#L17-L28

Hope that helps you there!