[WPT Export] Raises Exception('PR could not be merged') even though PR was merged |
||||
Issue description
Full logs:
Merging...
PR merged! Deleting branch.
Traceback (most recent call last):
File "../../wpt-export", line 42, in <module>
main()
File "../../wpt-export", line 38, in main
test_exporter.run()
File "/usr/local/google/home/jeffcarp/chromium/src/third_party/WebKit/Tools/Scripts/webkitpy/w3c/test_exporter.py", line 32, in run
self.merge_in_flight_pull_request(pull_requests.pop())
File "/usr/local/google/home/jeffcarp/chromium/src/third_party/WebKit/Tools/Scripts/webkitpy/w3c/test_exporter.py", line 59, in merge_in_flight_pull_request
self.wpt_github.delete_remote_branch('chromium-export-try')
File "/usr/local/google/home/jeffcarp/chromium/src/third_party/WebKit/Tools/Scripts/webkitpy/w3c/wpt_github.py", line 104, in delete_remote_branch
raise Exception('PR could not be merged')
Exception: PR could not be merged
,
Jan 25 2017
The following revision refers to this bug: https://chromium.googlesource.com/chromium/src.git/+/18f09e1964fa2efd789bd56f706e81ccb467b416 commit 18f09e1964fa2efd789bd56f706e81ccb467b416 Author: jeffcarp <jeffcarp@chromium.org> Date: Wed Jan 25 03:48:14 2017 WPT Export: trim lines from branch list, stage changes before committing Also change expected status code for delelting a branch from 200 to 204. R=qyearsley@chromium.org BUG= 684294 Review-Url: https://codereview.chromium.org/2657523005 Cr-Commit-Position: refs/heads/master@{#445933} [modify] https://crrev.com/18f09e1964fa2efd789bd56f706e81ccb467b416/third_party/WebKit/Tools/Scripts/webkitpy/w3c/local_wpt.py [modify] https://crrev.com/18f09e1964fa2efd789bd56f706e81ccb467b416/third_party/WebKit/Tools/Scripts/webkitpy/w3c/local_wpt_unittest.py [modify] https://crrev.com/18f09e1964fa2efd789bd56f706e81ccb467b416/third_party/WebKit/Tools/Scripts/webkitpy/w3c/wpt_github.py
,
Jan 25 2017
,
Jul 3 2017
,
Jul 3 2017
|
||||
►
Sign in to add a comment |
||||
Comment 1 by jeffcarp@chromium.org
, Jan 24 2017