commit af2c3ba4fdefaa4eb8f562d8e1f4794d445c1685
parent 5c0a123206aedbf3eb86f73cd33d06b7bec05f3a
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Thu, 6 Mar 2025 16:36:05 +0100
duplicate name
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -447,7 +447,7 @@ SCHEDULERS.append(schedulers.AnyBranchScheduler(
"gnunet-fedora-aarch64"]))
SCHEDULERS.append(schedulers.AnyBranchScheduler(
- name="gnunet",
+ name="gnunet-dev",
change_filter=util.ChangeFilter(branch_re='dev/.+',
repository='https://git.gnunet.org/gnunet.git'),
treeStableTimer=None,