bb.org: Give priority to the Windows amd64 builders

buildbot.mariadb.org/master-nonlatent/master.cfg

@@ -75,6 +75,9 @@ gs = reporters.GitHubStatusPush(token=config["private"]["gh_mdbci"]["access_toke
                                 builders=github_status_builders)
 c['services'].append(gs)
 
+####### Builder priority
+c['prioritizeBuilders'] = prioritizeBuilders
+
 ####### WORKERS
 
 # The 'workers' list defines the set of recognized workers. Each element is

buildbot.mariadb.org/utils.py

@@ -302,3 +302,16 @@ def getEcoBuilderNames(props):
             builds.append(b)
     return builds
 
+##### Builder priority
+# Prioritize builders. At this point, only the Windows builders need a higher priority
+# since the others run on dedicated machines.
+def prioritizeBuilders(buildmaster, builders):
+    """amd64-windows-* builders should have the highest priority since they are used for
+    protected branches"""
+    builderPriorities = {
+        "amd64-windows": 0,
+        "amd64-windows-packages": 0,
+    }
+    builders.sort(key=lambda b: builderPriorities.get(b.name, 1))
+    return builders
+