Close library-new-request PRs

Use this skill when the task is to close or reject a pull request that was opened to add support for a new library.

The PR number or URL can be passed as an optional argument (for example, 1234, https://github.com/oracle/graalvm-reachability-metadata/pull/1234). If the user says "close this PR" or "revert this PR" without an argument, infer the PR from surrounding context or the current branch when possible. Ask only when the PR cannot be resolved safely.

Goal

When a new-library support PR is closed, return the linked issue to the pre-work state:

• remove all assignees from the linked issue
• move the linked project item from In Progress back to Todo
• do not change project items already marked Done

Project edits require GitHub auth with the project scope. If gh project ... commands fail with an authorization error, refresh auth before continuing:

gh auth refresh -s project