From f77221d6d8e6da6f71ee01d0fec005df6becf97d Mon Sep 17 00:00:00 2001
From: embeddedt <42941056+embeddedt@users.noreply.github.com>
Date: Mon, 19 Jun 2023 20:58:51 -0400
Subject: [PATCH] Fix missing newline [skip ci]

---
 scripts/propagate.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/propagate.sh b/scripts/propagate.sh
index 23b8a6a0..86bc3968 100755
--- a/scripts/propagate.sh
+++ b/scripts/propagate.sh
@@ -47,6 +47,7 @@ for version in "${all_versions[@]}"; do
             read -rs -n1
         fi
         if (git add . && git commit -m "Merge $our_version into $version" &>/dev/null); then
+            echo
             git push -u origin propagations/$version:$version &>/dev/null
         else
             echo -e "\b\b\b\bnothing to merge"