Right now the exporter doesn't remove the label, making it hard to tell which PRs correspond to CLs that are in-flight and which correspond to CLs that have landed on master.
The following revision refers to this bug: https://chromium.googlesource.com/chromium/src.git/+/e52af452bf5bf781f405c2e9c6803a2961cee308 commit e52af452bf5bf781f405c2e9c6803a2961cee308 Author: Jeff Carpenter <jeffcarp@chromium.org> Date: Thu Jul 06 22:09:50 2017 [WPT Export] Remove provisional PR label when attempting to merge Bug: 739391 Change-Id: Id7d86dda511d7e434009afcd084521a965038919 Reviewed-on: https://chromium-review.googlesource.com/559837 Commit-Queue: Jeff Carpenter <jeffcarp@chromium.org> Reviewed-by: Quinten Yearsley <qyearsley@chromium.org> Cr-Commit-Position: refs/heads/master@{#484750} [modify] https://crrev.com/e52af452bf5bf781f405c2e9c6803a2961cee308/third_party/WebKit/Tools/Scripts/webkitpy/w3c/common.py [modify] https://crrev.com/e52af452bf5bf781f405c2e9c6803a2961cee308/third_party/WebKit/Tools/Scripts/webkitpy/w3c/test_exporter.py [modify] https://crrev.com/e52af452bf5bf781f405c2e9c6803a2961cee308/third_party/WebKit/Tools/Scripts/webkitpy/w3c/test_exporter_unittest.py [modify] https://crrev.com/e52af452bf5bf781f405c2e9c6803a2961cee308/third_party/WebKit/Tools/Scripts/webkitpy/w3c/wpt_github.py [modify] https://crrev.com/e52af452bf5bf781f405c2e9c6803a2961cee308/third_party/WebKit/Tools/Scripts/webkitpy/w3c/wpt_github_mock.py [modify] https://crrev.com/e52af452bf5bf781f405c2e9c6803a2961cee308/third_party/WebKit/Tools/Scripts/webkitpy/w3c/wpt_github_unittest.py
Comment 1 by jeffcarp@chromium.org
, Jul 5 2017