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

Merge pull request #15278 from ZhongRuoyu/pr-automerge-skip-pre-release

Browse Source 
dev-cmd/pr-automerge: skip PRs with `pre-release` label
This commit is contained in:
Mike McQuaid 2023-04-21 08:42:16 +01:00 committed by GitHub
commit 73717683b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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)