check-cherry-picks.sh maintainer script: fix handling of cherry-pick-…

…less branches
tweag · Apr 10, 2024 · b612366 · b612366
1 parent ddcd5f2
commit b612366
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/maintainers/scripts/check-cherry-picks.sh b/maintainers/scripts/check-cherry-picks.sh
@@ -12,6 +12,9 @@ PICKABLE_BRANCHES=${PICKABLE_BRANCHES:-master staging release-??.?? staging-??.?
 problem=0
 
 while read new_commit_sha ; do
+  if [ -z "$new_commit_sha" ] ; then
+    continue  # skip empty lines
+  fi
   if [ "$GITHUB_ACTIONS" = 'true' ] ; then
     echo "::group::Commit $new_commit_sha"
   else