diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-cherry-picks.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/check-cherry-picks.sh b/tools/check-cherry-picks.sh index 5a449c520b..5ca6ded203 100755 --- a/tools/check-cherry-picks.sh +++ b/tools/check-cherry-picks.sh @@ -4,6 +4,11 @@ # to verify that they're all on either master or stable/ branches # +# Allow this script to be disabled by a simple env var +if [ ${DISABLE_CHERRY_PICK_CHECK:-0} -eq 1 ]; then + exit 0 +fi + commit_hash="" # Check if the patch is a merge patch by counting the number of parents. |