Migrate PR review workflow to use extensions action#347

neubig merged 9 commits intomainOpenHands/docs:mainfrom

openhands/migrate-pr-review-to-extensionsOpenHands/docs:openhands/migrate-pr-review-to-extensionsCopy head branch name to clipboard