commit 24a475a0681a6097c2e8869ed4eb69fe1307bd07
parent d217f0b8b47c16861100258cec65f4d01b961eb5
Author: Christian Grothoff <christian@grothoff.org>
Date: Sun, 1 Jun 2025 20:56:44 +0200
use git:// for poller
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -1293,7 +1293,7 @@ pbSource = changes.PBChangeSource(port="tcp:19990:interface=127.0.0.1",
user="git-buildbot",
passwd="Aer3eari")
-pollGnunetSource = changes.GitPoller(repourl='https://git.gnunet.org/gnunet.git',
+pollGnunetSource = changes.GitPoller(repourl='git://git.gnunet.org/gnunet.git',
branches=True,
pollInterval=300,
pollAtLaunch=True,