A GitHub workflow to automagically label PRs with Explorer or web3.js changes (#28986)
This commit is contained in:
parent
c8cc1270f1
commit
8c6ad8c001
|
@ -0,0 +1,6 @@
|
|||
explorer:
|
||||
- explorer/**/*
|
||||
|
||||
web3.js:
|
||||
- web3.js/**/*
|
||||
- web3.js-experimental/**/*
|
|
@ -0,0 +1,15 @@
|
|||
name: "Pull Request Labeler"
|
||||
on:
|
||||
- pull_request_target # Danger; in `target` mode secrets are available to this workflow, even when the pull request comes from a community member.
|
||||
|
||||
jobs:
|
||||
triage:
|
||||
permissions:
|
||||
contents: read
|
||||
pull-requests: write
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/labeler@v4
|
||||
with:
|
||||
repo-token: "${{ secrets.GITHUB_TOKEN }}"
|
||||
sync-labels: true
|
Loading…
Reference in New Issue