| 1234567891011121314151617181920212223242526272829303132333435 |
- name: pr-labels
- on:
- push:
- branches:
- - main
- jobs:
- is-properly-labeled:
- runs-on: ubuntu-latest
- steps:
- - name: Set up python
- uses: actions/setup-python@v2
- - name: Install requests
- run: pip install requests
- - name: Checkout repository
- uses: actions/checkout@v2
- - name: Process commit and find merger responsible for labeling
- id: commit
- run: echo "::set-output name=merger::$(python .github/process_commit.py ${{ github.sha }})"
- - 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/vision/blob/main/.github/process_commit.py
|
