ci/request-reviews: rename code-owner related files

Now that we have maintainer reviews as well, be a bit more explicit
about naming.
This commit is contained in:
Wolfgang Walther 2025-01-04 13:54:05 +01:00
parent 92de48d8b2
commit cf0616fec6
No known key found for this signature in database
GPG key ID: B39893FA5F65CAE1
4 changed files with 4 additions and 4 deletions

View file

@ -106,6 +106,6 @@ jobs:
run: nix-build ci -A requestReviews
- name: Request reviews
run: result/bin/request-reviews.sh ${{ github.repository }} ${{ github.event.number }} "$OWNERS_FILE"
run: result/bin/request-code-owner-reviews.sh ${{ github.repository }} ${{ github.event.number }} "$OWNERS_FILE"
env:
GH_TOKEN: ${{ steps.app-token.outputs.token }}