diff options
author | Robert Scott <code@humanleg.org.uk> | 2024-04-10 22:15:06 +0100 |
---|---|---|
committer | Robert Scott <code@humanleg.org.uk> | 2024-04-10 22:21:08 +0100 |
commit | dc4f2184327d7b04edda404fa8562ba5e3e17755 (patch) | |
tree | 6d50d881c8b546809eed39cc9571b0a37e07efaf /maintainers/scripts | |
parent | b612366abc32edc61e86d0fcc0f4a08cabcf5212 (diff) |
check-cherry-picks.sh maintainer script: add clarifying message regarding differences found
Diffstat (limited to 'maintainers/scripts')
-rwxr-xr-x | maintainers/scripts/check-cherry-picks.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintainers/scripts/check-cherry-picks.sh b/maintainers/scripts/check-cherry-picks.sh index 6253b97f38d26..e7ffe2bf4c73d 100755 --- 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" |