From 209a9fe2ffae3ad88a675a63247362d59adfb832 Mon Sep 17 00:00:00 2001 From: Ruoyu Zhong Date: Fri, 21 Apr 2023 03:30:10 +0800 Subject: [PATCH] dev-cmd/pr-automerge: skip PRs with `pre-release` label PRs with the `pre-release` label are always not ready for merge, so let's skip them by default. See also: Homebrew/homebrew-core#128906. Signed-off-by: Ruoyu Zhong --- Library/Homebrew/dev-cmd/pr-automerge.rb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Library/Homebrew/dev-cmd/pr-automerge.rb b/Library/Homebrew/dev-cmd/pr-automerge.rb index 87c54ca518..2ab5e631ba 100644 --- a/Library/Homebrew/dev-cmd/pr-automerge.rb +++ b/Library/Homebrew/dev-cmd/pr-automerge.rb @@ -23,7 +23,8 @@ module Homebrew description: "Pull requests must have this label." comma_array "--without-labels", description: "Pull requests must not have these labels (default: " \ - "`do not merge`, `new formula`, `automerge-skip`, `CI-published-bottle-commits`)." + "`do not merge`, `new formula`, `automerge-skip`, " \ + "`pre-release`, `CI-published-bottle-commits`)." switch "--without-approval", description: "Pull requests do not require approval to be merged." switch "--publish", @@ -50,6 +51,7 @@ module Homebrew "do not merge", "new formula", "automerge-skip", + "pre-release", "CI-published-bottle-commits", ] tap = Tap.fetch(args.tap || CoreTap.instance.name)