From 5561e0022ca6a0a668f2dc5aee541609bb6c4d1e Mon Sep 17 00:00:00 2001
From: Roman Kelesidis <roman25052006.kelesh@gmail.com>
Date: Mon, 9 Jun 2025 16:10:57 +0300
Subject: [PATCH] misc(_release.php): Added `push origin` command (#1932)

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