Allow retry in get-merged-pr

[qinsoon]

This should fix #1426. I didn't test it, but the retry pattern is the same as in

mmtk-core/.github/workflows/auto-merge-inner.yml

Lines 98 to 103 in 76ef95a

	for n in {1..5}; do
	echo "Wait 30s then try merge"
	sleep 30
	gh pr merge ${{ steps.get-pr.outputs.pr_number }} --auto --repo ${{ inputs.base_repo }} --squash && break
	echo "Failed to merge the PR. Retry..."
	done

[wks]

If we need to retry, it means something has gone wrong. For the ease of debugging, I suggest we print out the human-readable output before each try, and print out the value of $PR_NUMBER regardless whether it was successful.

Suggested change

	PR_NUMBER=$(gh pr list --search "${GITHUB_SHA}" --state merged --repo mmtk/mmtk-core --json number --jq '.[0].number')
	echo "Pull request for the commit is below:"
	gh pr list --search "${GITHUB_SHA}" --state merged --repo mmtk/mmtk-core
	PR_NUMBER=$(gh pr list --search "${GITHUB_SHA}" --state merged --repo mmtk/mmtk-core --json number --jq '.[0].number')
	echo "Output pr=$PR_NUMBER"

[qinsoon]

Done.

[wks]

LGTM