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. *