From 070e30e60a269f5198866827519a760cc377c90b Mon Sep 17 00:00:00 2001
From: Gerd Hoffmann <kraxel@redhat.com>
Date: Thu, 27 Aug 2020 07:15:09 +0200
Subject: drop old agent

---
 Jenkinsfile.mainline | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Jenkinsfile.mainline b/Jenkinsfile.mainline
index 42d9c74..ff25a5c 100644
--- a/Jenkinsfile.mainline
+++ b/Jenkinsfile.mainline
@@ -53,10 +53,6 @@ pipeline {
         }
     }
 
-    agent {
-	node 'dist-rhel-7-x86_64'
-    }
-
     options {
 	buildDiscarder(logRotator(numToKeepStr: '3'))
 	disableConcurrentBuilds()
-- 
cgit