# If this run was triggered by a pull request event, then checkout
# the head of the pull request instead of the merge commit.
# If this run was triggered by a pull request event, then checkout
# the head of the pull request instead of the merge commit.