Do not print pull request #0 when ci-pr reports no number

main

Commit

Stefan Haubold2d ago

Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com Entire-Checkpoint: 01M6GXHJ0VARX578WVXFAN595B