add the pr comment ourselves and request reviews
This commit is contained in:
parent
1db04e4622
commit
610111583b
3 changed files with 37 additions and 15 deletions
11
.github/workflows/maintainers.yaml
vendored
11
.github/workflows/maintainers.yaml
vendored
|
|
@ -23,13 +23,6 @@ jobs:
|
|||
- name: Install dependencies
|
||||
run: pip3 install -r requirements-dev.txt
|
||||
|
||||
- name: Get our ping message
|
||||
- name: Ping maintainers and request reviews
|
||||
shell: "bash {0}"
|
||||
run: echo "ping_message=$(qmk ping-maintainers $(< ~/files.txt))" > $GITHUB_ENV
|
||||
|
||||
- uses: mshick/add-pr-comment@v1
|
||||
with:
|
||||
message: ${{ env.ping_message }}
|
||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
repo-token-user-login: "github-actions[bot]" # The user.login for temporary GitHub tokens
|
||||
allow-repeats: false # This is the default
|
||||
run: qmk ping-maintainers --pr ${{ github.event.number }} ${{ steps.file_changes.outputs.files }}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue