commit 079edcd2aff1b3c06e2e8920fe2d1747269f84bf
parent 78dca6628d6b5d18971fb201bf61c2420052c812
Author: Christian Grothoff <christian@grothoff.org>
Date: Tue, 4 Feb 2025 15:01:27 +0100
pbSource2 is dead
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -1387,7 +1387,7 @@ pollGnunetSource = changes.GitPoller(repourl='https://git.gnunet.org/gnunet.git'
pollInterval=300,
pollAtLaunch=True,
project="gnunet")
-c["change_source"] = [pollGnunetSource, pbSource, pbSource2]
+c["change_source"] = [pollGnunetSource, pbSource]
# 'protocols' contains information about protocols which master
# will use for communicating with workers. You must define at