From d4dbc49e60b551b6deb50ad18925f0741e6bca52 Mon Sep 17 00:00:00 2001
From: Colin Finck <colin@reactos.org>
Date: Sun, 23 Feb 2020 12:15:04 +0100
Subject: [PATCH] Pull from /head instead of /merge for PRs due to the race
 condition outlined in https://github.com/buildbot/buildbot/issues/3998

---
 buildbot/master.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/buildbot/master.cfg b/buildbot/master.cfg
index 64f3238..60c17cb 100644
--- a/buildbot/master.cfg
+++ b/buildbot/master.cfg
@@ -163,6 +163,7 @@ c['www'] = {
     ),
     'change_hook_dialects': {
         'github': {
+            'pullrequest_ref': 'head',
             'secret': credentials.get("github", "webhook_secret"),
         },
     },