pr-pull: skip bottles for CI-syntax-only PRs

2026-08-13 21:20:23 +00:00 · 2020-11-14 02:52:43 -05:00
parent e945b1c42a
commit e14ce96f22
2 changed files with 8 additions and 2 deletions
@@ -779,4 +779,9 @@ module GitHub
      end
    end
  end
+
+  def pull_request_labels(user, repo, pr)
+    pr_data = open_api(url_to("repos", user, repo, "pulls", pr))
+    pr_data["labels"].map { |label| label["name"] }
+  end
 end