[taler-deployment] branch master updated: pbSource2 is dead

[Admin]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository taler-deployment.

The following commit(s) were added to refs/heads/master by this push:
     new 079edcd  pbSource2 is dead
079edcd is described below

commit 079edcd2aff1b3c06e2e8920fe2d1747269f84bf
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Tue Feb 4 15:01:27 2025 +0100

    pbSource2 is dead
---
 buildbot/master.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildbot/master.cfg b/buildbot/master.cfg
index fecd0b8..3a21c9f 100644
--- 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

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.