From 05d0468146b2894942e15c486d6dfa391d506943 Mon Sep 17 00:00:00 2001
From: dimitris-am <88329503+dimitris-am@users.noreply.github.com>
Date: Tue, 11 Jun 2024 11:22:55 +0000
Subject: [PATCH] build: update distribution

---
 dist/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/index.js b/dist/index.js
index 02a2078..536decd 100644
--- a/dist/index.js
+++ b/dist/index.js
@@ -698,7 +698,7 @@ class GitCommandManager {
     }
     push(options) {
         return __awaiter(this, void 0, void 0, function* () {
-            const args = ['push'];
+            const args = ['push', '--no-verify']; //added no verify here
             if (options) {
                 args.push(...options);
             }