admin/brew
1
0
Fork 0
Code Issues Packages Projects Releases 6 Wiki Activity

dev-cmd/pr-automerge: skip PRs with pre-release label

Browse Source 
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 <zhongruoyu@outlook.com>
This commit is contained in:
Ruoyu Zhong 2023-04-21 03:30:10 +08:00
parent 72bdefb814
commit 209a9fe2ff
No known key found for this signature in database
GPG Key ID: DCAF462CAB59907D
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Library/Homebrew/dev-cmd/pr-automerge.rb
View File

@ -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)