Merge pull request #11661 from nandahkrishna/merge-no-bottles

`brew pr-pull`: handle label for merging without bottles
This commit is contained in:
Nanda H Krishna 2021-07-09 17:50:31 +05:30 committed by GitHub
commit 625d9db5f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -291,7 +291,10 @@ module Homebrew
def formulae_need_bottles?(tap, original_commit, user, repo, pr, args:)
return if args.dry_run?
return false if GitHub.pull_request_labels(user, repo, pr).include? "CI-syntax-only"
labels = GitHub.pull_request_labels(user, repo, pr)
return false if labels.include?("CI-syntax-only") || labels.include?("CI-no-bottles")
changed_formulae(tap, original_commit).any? do |f|
!f.bottle_unneeded? && !f.bottle_disabled?