diff --git a/scripts/update_release_version.sh b/scripts/update_release_version.sh index b5d0e03b..d7c9a923 100755 --- a/scripts/update_release_version.sh +++ b/scripts/update_release_version.sh @@ -55,6 +55,8 @@ git add "${index_file}" git -c user.name="${git_author}" -c user.email="${git_email}" commit --file=- < EOL git push "${git_remote}" "${branch}"