From c059675bcc782622d63e10b303bfd105dee5689d Mon Sep 17 00:00:00 2001 From: Parker Moore Date: Thu, 10 Aug 2017 16:40:06 -0400 Subject: [PATCH] script/backport-pr: commit message no longer includes the # (#6289) Merge pull request 6289 --- script/backport-pr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/backport-pr b/script/backport-pr index 5ef6c4de..7c74edea 100755 --- a/script/backport-pr +++ b/script/backport-pr @@ -45,7 +45,7 @@ git clean -q -fdx git pull -q git checkout -q -f -B $prbranch -commit=`git log -1 --pretty=%H "--grep=Merge pull request #$pr" "--grep=Merge branch '.*$headref'" master` +commit=`git log -1 --pretty=%H "--grep=Merge pull request $pr" "--grep=Merge branch '.*$headref'" master` echo "Backporting:\n"