From f6e3285ad6beffbfb44207eb40c41c4e19815d2a Mon Sep 17 00:00:00 2001 From: Mike Date: Mon, 7 Oct 2019 18:26:09 -0400 Subject: [PATCH] Always attempt to define tags --- tools/ci/update_pr_preview.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci/update_pr_preview.py b/tools/ci/update_pr_preview.py index eca4a30678cf82..0c1d460f2de04e 100644 --- a/tools/ci/update_pr_preview.py +++ b/tools/ci/update_pr_preview.py @@ -240,7 +240,7 @@ def main(api_root): github.set_ref(ref_labeled, sha) elif action == 'unlabeled' and target_label == active_label: github.delete_ref(ref_labeled) - elif action == 'synchronize' and has_label: + elif action == 'synchronize': github.set_ref(ref_open, sha) github.set_ref(ref_labeled, sha) else: