name: PR metadata

on:
  pull_request_target:
    types:
      - opened
      - reopened
      - edited
      - synchronize

permissions:
  contents: read
  pull-requests: write

jobs:

  #
  # Set labels on PRs, which are then used to categorise release notes
  #

  labels:
    name: Set labels
    if: github.repository_owner == 'syncthing'
    runs-on: ubuntu-latest
    steps:
    - uses: srvaroa/labeler@9c29ad1ef33d169f9ef33c52722faf47a566bcf3 # v1
      env:
        GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"