Properly get PR number for merge group#1077

qinsoon merged 2 commits intommtk:mastermmtk/mmtk-core:masterfrom

qinsoon:fix/pr-number-for-merge-groupqinsoon/mmtk-core:fix/pr-number-for-merge-groupCopy head branch name to clipboard