Meta/Reintegrate: give a blank to separate cut mark

The reintegrate script can have "### cut here" comments to separate
the list of topics at certain points to group them better.  Add a
blank line after them to make a long list easier to see.

diff --git a/Reintegrate b/Reintegrate
index a15114a69049ddb140b86327262f02ebceebdd9e..5dbf853a024365c36b4f7af9396a1d5744d3bb15 100755 (executable)
--- a/Reintegrate
+++ b/Reintegrate
@@ -242,7 +242,7 @@ show_merge () {
 show_pick () {
        case "$msg" in
        "### "* | "###")
-               merged="$msg"
+               merged="$msg$LF"
                ;;
        *)
                merged="$(git rev-parse --verify "$commit") pick $msg"