Allow retry in get-merged-pr#1427

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

qinsoon:retry-get-merged-prqinsoon/mmtk-core:retry-get-merged-prCopy head branch name to clipboard