On Wed, 18 Sep 2024 11:07:29 GMT, Nizar Benalla <nbena...@openjdk.org> wrote:
> I assumed this would be automatically merged once I became a committer. No, the Skara bots don't revisit the PRs after the OpenJDK Census is changed. You weren't a committer when you issued the `/integrate` command, so it required a sponsor. By the time I decided to sponsor, you're already a committer, and no one can sponsor integrating any more. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21001#issuecomment-2358341219
