reactos/web-playground-config
1
0
Fork 0
mirror of https://github.com/reactos/web-playground-config.git synced 2024-11-23 03:29:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Pull from /head instead of /merge for PRs due to the race condition outlined in https://github.com/buildbot/buildbot/issues/3998

Browse Source
This commit is contained in:
Colin Finck 2020-02-23 12:15:04 +01:00
parent c73a80e0cf
commit d4dbc49e60
No known key found for this signature in database
GPG Key ID: 1BA74E70456BA1A9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
buildbot/master.cfg
View File

@ -163,6 +163,7 @@ c['www'] = {
),
'change_hook_dialects': {
'github': {
'pullrequest_ref': 'head',
'secret': credentials.get("github", "webhook_secret"),
},
},