-name:Ping merger responsible for labeling if necessary
if:${{ steps.commit.outputs.merger != '' }}
uses:mshick/add-pr-comment@v1
env:
GITHUB_TOKEN:${{ secrets.GITHUB_TOKEN }}
with:
message:|
Hey ${{ steps.commit.outputs.merger }}!
You merged this PR, but no labels were added. The list of valid labels is available at https://github.com/pytorch/audio/blob/main/.github/process_commit.py