misc(_release.php): Added push origin command (#1932)

This commit is contained in:
Roman Kelesidis 2025-06-09 16:10:57 +03:00 committed by GitHub
commit 5561e0022c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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');