From ad4b36d2d23e01c9c7303f4c9c6e1270a93dfe7f Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Wed, 28 May 2025 12:50:18 +0200 Subject: [PATCH] ci/check-cherry-picks: move from maintainers/scripts The script is part of CI and changes to it should be reviewed by the CI owners. Thus moving it to ci/ is the most sensible thing to do. --- .github/workflows/check-cherry-picks.yml | 2 +- {maintainers/scripts => ci}/check-cherry-picks.sh | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename {maintainers/scripts => ci}/check-cherry-picks.sh (100%) diff --git a/.github/workflows/check-cherry-picks.yml b/.github/workflows/check-cherry-picks.yml index e85fa59bb699..5bd93ee4bbf9 100644 --- a/.github/workflows/check-cherry-picks.yml +++ b/.github/workflows/check-cherry-picks.yml @@ -28,4 +28,4 @@ jobs: BASE_SHA: ${{ github.event.pull_request.base.sha }} HEAD_SHA: ${{ github.event.pull_request.head.sha }} run: | - ./trusted/maintainers/scripts/check-cherry-picks.sh "$BASE_SHA" "$HEAD_SHA" + ./trusted/ci/check-cherry-picks.sh "$BASE_SHA" "$HEAD_SHA" diff --git a/maintainers/scripts/check-cherry-picks.sh b/ci/check-cherry-picks.sh similarity index 100% rename from maintainers/scripts/check-cherry-picks.sh rename to ci/check-cherry-picks.sh