check-cherry-picks.sh maintainer script: add clarifying message regar…

…ding differences found
tweag · Apr 10, 2024 · dc4f218 · dc4f218
1 parent b612366
commit dc4f218
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/maintainers/scripts/check-cherry-picks.sh b/maintainers/scripts/check-cherry-picks.sh
@@ -60,6 +60,8 @@ while read new_commit_sha ; do
 
           $range_diff_common --color
 
+          echo "Note this should not necessarily be treated as a hard fail, but a reviewer's attention should" \
+            "be drawn to it and github actions have no way of doing that but to raise a 'failure'"
           problem=1
         else
           echo "  ✔ $original_commit_sha highly similar to $new_commit_sha"