Fix: don't swap review labels on "Update branch"

[pawel-kow]

Fix: don't swap review labels on "Update branch"

Problem

Clicking "Update branch" on a PR creates a merge commit from master into the PR branch. This triggered the synchronize event, causing the workflow to incorrectly swap review issues → new review needed even though the PR author had not pushed any new work.

Example: commit 27072ddd on PR #1218.

Fix

In the trigger workflow, before treating a synchronize event as new author work, check whether the head commit is a two-parent merge commit whose second parent matches the current master tip. If it is, skip the artifact upload entirely — no label changes are made.

All other pushes (regular commits, force-pushes, author-initiated merges) continue to trigger the label swap as before.

[github-actions]

❌ JSON Filename Check Failed

• File in subdirectory not allowed: .github/workflows/review-trigger.yml

[github-actions]

PR Description Check Failed

The PR description is missing required elements. Please update it according to the PR template.

Details

Labels to add: Checklist of common problems not complete, PR description incomplete, Test links missing
Labels to remove: Forged editor links

PR description check FAILED:
  FAIL  'Type of change' section not found
  FAIL  'How Has This Been Tested?' section not found
  FAIL  'Checklist of common problems' section not found
  FAIL  'Online Editor test results' section not found

[github-actions]

✅ JSON Schema Validation Passed

[github-actions]

Linter OK