Ensure Bug GitHub Issue — Sub-Routine

Purpose

This is an internal sub-routine called by develop-bug and review-bug. Do not invoke directly.

Inputs (set by the calling skill before invoking):

• BUG_FILE_PATH — repo-relative path to the bug report

Output (set by this sub-routine, available to the calling skill):

• BUG_ISSUE_NUM — the GitHub issue number for the bug (integer string), or empty string on failure

Steps

Step B1: Read the Bug Document