From eb6759f16c00e43bc78025a0037fb2807969c243 Mon Sep 17 00:00:00 2001 From: Remco Tolsma <869674+remcotolsma@users.noreply.github.com> Date: Sat, 8 Jul 2023 16:46:33 +0200 Subject: [PATCH] Update release.php --- .github/scripts/release.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/release.php b/.github/scripts/release.php index 74bfc44..b2baecb 100644 --- a/.github/scripts/release.php +++ b/.github/scripts/release.php @@ -215,7 +215,7 @@ run( ); line( '::endgroup::' ); -exit; + /** * Git user. *