Function parse_pr_number_from_ref 

pub fn parse_pr_number_from_ref(git_ref: &str) -> Option<u64>

Extract the PR number from a GitHub ref like refs/pull/123/merge.