method GitOperations.prototype.extractPRNumber GitOperations.prototype.extractPRNumber(message: string): number | null Extract PR number from a merge commit message Supports various GitHub merge formats Parameters message: string Merge commit message Return Type number | null PR number or null if not found