Skip to content

[extension_discovery] Drop unneeded dependency on pkg:lints #530

[extension_discovery] Drop unneeded dependency on pkg:lints

[extension_discovery] Drop unneeded dependency on pkg:lints #530

# This workflow applies labels to pull requests based on the paths that are
# modified in the pull request.
#
# Edit `.github/labeler.yml` to configure labels. For more information, see
# https://github.com/actions/labeler.
name: Pull Request Labeler
permissions: read-all
on:
pull_request_target
jobs:
label:
permissions:
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@ac9175f8a1f3625fd0d4fb234536d26811351594
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true