From 23063bcc742edb011e77da000fdbacace5cfab7d Mon Sep 17 00:00:00 2001 From: Roman Kelesidis Date: Mon, 9 Jun 2025 16:10:20 +0300 Subject: [PATCH] misc(_release.php): Added `push origin` command --- _release.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/_release.php b/_release.php index 8f4556b13..a19f404d5 100644 --- a/_release.php +++ b/_release.php @@ -116,4 +116,7 @@ $tagCmd = "git -c user.name=\"$userName\" -c user.email=\"$userEmail\" -c user.s runProcess($tagCmd); runProcess("git tag -v \"$version\""); +runProcess("git push origin master"); +runProcess("git push origin $version"); + out("\n- Release $version has been successfully prepared and committed!", 'success');