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.

(cherry picked from commit ad4b36d2d2)
This commit is contained in:
Wolfgang Walther
2025-05-28 12:50:18 +02:00
committed by github-actions[bot]
parent 9e6ae97ea1
commit fc642b08f7
2 changed files with 1 additions and 1 deletions

View File

@@ -28,4 +28,4 @@ jobs:
BASE_SHA: ${{ github.event.pull_request.base.sha }} BASE_SHA: ${{ github.event.pull_request.base.sha }}
HEAD_SHA: ${{ github.event.pull_request.head.sha }} HEAD_SHA: ${{ github.event.pull_request.head.sha }}
run: | run: |
./trusted/maintainers/scripts/check-cherry-picks.sh "$BASE_SHA" "$HEAD_SHA" ./trusted/ci/check-cherry-picks.sh "$BASE_SHA" "$HEAD_SHA"