How can I close this PR on the public registry ?
As a general recommendation, leave a comment in the PR asking for it to be closed. Maybe a maintainer will see and close it, in any case all PRs inactive for over a month are closed automatically (if they hadn't been merged, it usually means that the submitter had to do something else anyway)
Last updated: Nov 06 2024 at 04:40 UTC