From 74658244233b3af04a1bd36f692c10e20dd9eda3 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Tue, 21 Feb 2023 12:03:05 +0100
Subject: [PATCH] ci: remove duplicate variable

Change-Id: I839ac4d9eda36082ba24c7c06df234a78798be2c
---
 ci/Jenkinsfile | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 48a51565..4925147a 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -13,11 +13,6 @@ properties([
          choice(choices: '''\
 patchset-created
 ref-updated
-change-merged''',
-               description: '', name: 'GERRIT_EVENT'),
-         choice(choices: '''\
-patchset-created
-ref-updated
 change-merged''',
                 description: '', name: 'GERRIT_EVENT_TYPE')])
 ])