pull-request-formatting-validator: Validate file sync PR titles

The default file sync PR title is not useful in source history.

This check ensures the title is updated to reflect the actual file
sync changes.

Signed-off-by: Michael Kubacki <michael.kubacki@microsoft.com>

Author: makubacki

.github/workflows/pull-request-formatting-validator.yml

@@ -52,6 +52,13 @@ jobs:
             echo 'VALIDATION_ERROR=true' >> $GITHUB_ENV
           fi
 
+          if [[ "${prTitle}" == "Repo File Sync: synced file(s) with microsoft/mu_devops" ]]; then
+            if ! echo "${comments}" | grep -qF '<!-- pr-val-sync-title -->'; then
+              gh pr comment $PR_URL --body "<!-- pr-val-sync-title -->⚠️ Please add a meaningful PR title (update the default file sync title)."
+            fi
+            echo 'VALIDATION_ERROR=true' >> $GITHUB_ENV
+          fi
+
         env:
           GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
           OWNER: ${{ github.repository_owner }}

.sync/workflows/leaf/pull-request-formatting-validator.yml

@@ -52,6 +52,13 @@ jobs:
             echo 'VALIDATION_ERROR=true' >> $GITHUB_ENV
           fi
 
+          if [[ "${prTitle}" == "Repo File Sync: synced file(s) with microsoft/mu_devops" ]]; then
+            if ! echo "${comments}" | grep -qF '<!-- pr-val-sync-title -->'; then
+              gh pr comment $PR_URL --body "<!-- pr-val-sync-title -->⚠️ Please add a meaningful PR title (update the default file sync title)."
+            fi
+            echo 'VALIDATION_ERROR=true' >> $GITHUB_ENV
+          fi
+
         env:
           GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
           OWNER: ${{ github.repository_owner }}