Meta/Reintegrate: allow 'pick' to be empty

diff --git a/Reintegrate b/Reintegrate
index cb5040405b34807deb411fa16f072cd3f852a16c..cf74e4394f10c5db294fac43337d6ecc65bb9599 100755 (executable)
--- a/Reintegrate
+++ b/Reintegrate
@@ -288,7 +288,7 @@ no)
 
                        mark_cut
 
-                       git cherry-pick "$branch" || leave $? ;;
+                       git cherry-pick --allow-empty "$branch" || leave $? ;;
                *) echo >&2 "Eh? $branch $eh"; leave $? ;;
                esac