Fix missing newline [skip ci]

This commit is contained in:
embeddedt 2023-06-19 20:58:51 -04:00
parent aa3fa93a9f
commit f77221d6d8
No known key found for this signature in database
GPG Key ID: A69433EC199B5613

View File

@ -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"