continue-pr

From README

Continue Work on a Pull Request Pick up an existing pull request, resolve conflicts, fix CI failures, address reviewer feedback, and push updates. Arguments $0 (required): PR number in the current repository (e.g., 12345) Process Parse arguments and fetch PR metadata Extract the PR number from $0. If not provided, use AskUserQuestion to ask for it. Validate that the PR number contains only digits. Reject any non-numeric input immediately — do not pass unvalidated input to shell commands or GraphQL queries. Determine which repository you are operating in — the public ClickHouse/ClickHouse or the private ClickHouse/clickhouse-private: Remember it as $REPO and use it everywhere below instead of the literal ClickHouse/ClickHouse in gh commands, API URLs, and GraphQL repository(owner:, name:) arguments. The repository also decides whom to ask about unrelated CI failures (step 4, item 5): @groeneai in ClickHouse/ClickHouse, @oranjeai in ClickHouse/clickhouse-private.