backport-resolve-issue: extract PR number more carefully

This addresses cases where the previous regex '\\d++' was promiscuously
matching strings of digits that were not GitHub PR IDs.

Signed-off-by: Nathan Cutler <ncutler@suse.com>

diff --git a/src/script/backport-resolve-issue b/src/script/backport-resolve-issue
index eebbfbad15f81a7680be507ef1a6d0701580713b..12478da5070f342bce128cc84948cc74cbb69b50 100755 (executable)
--- a/src/script/backport-resolve-issue
+++ b/src/script/backport-resolve-issue
@@ -510,12 +510,13 @@ Ceph version:     base {}, target {}'''.format(self.github_url, pr_title_trunc,
     def populate_github_url(self):
         global github_endpoint
         # GitHub PR ID from merge commit string
-        p = re.compile('\\d+')
+        p = re.compile('(pull request|PR) #(\\d+)')
         try:
-            self.github_pr_id = p.search(self.merge_commit_description).group()
+            self.github_pr_id = p.search(self.merge_commit_description).group(2)
         except AttributeError:
             assert False, \
                 "Failed to extract GitHub PR ID from merge commit string ->{}<-".format(self.merge_commit_string)
+        logging.debug("Merge commit string: {}".format(self.merge_commit_string))
         logging.debug("GitHub PR ID from merge commit string: {}".format(self.github_pr_id))
         self.github_url = "{}/pull/{}".format(github_endpoint, self.github_pr_id)