From 5cc6634b55b0f83b9a0a4d8a5fbdfa445ef5244f Mon Sep 17 00:00:00 2001
From: jp0p <jared@edge.app>
Date: Tue, 18 Aug 2026 19:04:34 -0700
Subject: [PATCH] Remove duplicate Jenkins push trigger

---
 Jenkinsfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 75f43115705..5480d0200dc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -79,9 +79,6 @@ pipeline {
     buildDiscarder logRotator(artifactDaysToKeepStr: '', artifactNumToKeepStr: '', daysToKeepStr: '7', numToKeepStr: '10')
     disableConcurrentBuilds()
   }
-  triggers {
-    githubPush()
-  }
   parameters {
     booleanParam(name: 'ANDROID_BUILD', defaultValue: true, description: 'Build an Android version')
     booleanParam(name: 'ANDROID_BUILD_MAESTRO', defaultValue: true, description: 'Build an Android Maestro version')