From b0d64ab29c9de4f0032aea2c282df673ec8181a2 Mon Sep 17 00:00:00 2001
From: Chris Burroughs <chris.burroughs@gmail.com>
Date: Mon, 3 Feb 2025 15:34:37 -0500
Subject: [PATCH] don't fail automatic cherry picks for lack of release notes

We explicitly remove release notes when they cause a git conflict, and
rely on the GitHub "release" as the effective point release notes.

Unsure how to test, but setting `--label` multiple times should work
per the test in https://github.com/cli/cli/commit/1ff37be361fb7253b8ce6a3f1aaf744b8c6cbfb8.
---
 build-support/cherry_pick/make_pr.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-support/cherry_pick/make_pr.sh b/build-support/cherry_pick/make_pr.sh
index 584b8951e03..805731efa96 100755
--- a/build-support/cherry_pick/make_pr.sh
+++ b/build-support/cherry_pick/make_pr.sh
@@ -37,6 +37,7 @@ gh pr create \
   --base "$MILESTONE" \
   --title "$TITLE (Cherry-pick of #$PR_NUM)" \
   --label "$CATEGORY_LABEL" \
+  --label "release-notes:not-required" \
   --milestone "$MILESTONE" \
   --body-file "$BODY_FILE" \
   --reviewer "$REVIEWERS" \