mirror of
https://github.com/servo/servo.git
synced 2025-07-15 19:33:46 +01:00
The WPT exporter currently assumes that removing a label from a github PR will never fail. This is obviously false and the result is a silent failure. By moving the operation inside the existing try block we ensure that a comment will be posted if any part of the merge step fails. Testing: Untested; did not feel worth the time investment to determine if the existing test harness can mock this particular situation. Fixes: #37914 Signed-off-by: Josh Matthews <josh@joshmatthews.net> |
||
---|---|---|
.. | ||
exporter | ||
tests | ||
__init__.py | ||
export.py | ||
grouping_formatter.py | ||
manifestupdate.py | ||
run.py | ||
test.py | ||
update.py |