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

dev-cmd/pr-automerge: skip PRs labelled CI-published-bottle-commits

Browse Source 
This is based on feedback from @plinnane on Slack.
This commit is contained in:
Carlo Cabrera 2023-03-28 22:01:45 +08:00
parent f0272b0944
commit 46ac052b3b
No known key found for this signature in database
GPG Key ID: C74D447FC549A1D0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -23,7 +23,7 @@ module Homebrew
description: "Pull requests must have this label." description: "Pull requests must have this label."
comma_array "--without-labels", comma_array "--without-labels",
description: "Pull requests must not have these labels (default: " \ description: "Pull requests must not have these labels (default: " \
"`do not merge`, `new formula`, `automerge-skip`)." "`do not merge`, `new formula`, `automerge-skip`, `CI-published-bottle-commits`)."
switch "--without-approval", switch "--without-approval",
description: "Pull requests do not require approval to be merged." description: "Pull requests do not require approval to be merged."
switch "--publish", switch "--publish",
@ -51,6 +51,7 @@ module Homebrew
"do not merge", "do not merge",
"new formula", "new formula",
"automerge-skip", "automerge-skip",
"CI-published-bottle-commits",
] ]
tap = Tap.fetch(args.tap || CoreTap.instance.name) tap = Tap.fetch(args.tap || CoreTap.instance.name)