2023-04-12 23:33:59 +00:00
|
|
|
name: Issue Commented
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
issue_comment:
|
|
|
|
|
types:
|
|
|
|
|
- created
|
|
|
|
|
|
|
|
|
|
permissions:
|
|
|
|
|
contents: read
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
issue-commented:
|
2023-05-08 08:07:04 +00:00
|
|
|
name: Remove blocked/need-repro on comment
|
|
|
|
|
if: ${{ contains(github.event.issue.labels.*.name, 'blocked/need-repro') && !contains(fromJSON('["MEMBER", "OWNER"]'), github.event.comment.author_association) }}
|
2023-04-12 23:33:59 +00:00
|
|
|
permissions:
|
|
|
|
|
issues: write
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
2023-05-08 08:07:04 +00:00
|
|
|
- name: Remove label
|
2023-04-12 23:33:59 +00:00
|
|
|
env:
|
|
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
ISSUE_URL: ${{ github.event.issue.html_url }}
|
|
|
|
|
run: |
|
|
|
|
|
gh issue edit $ISSUE_URL --remove-label 'blocked/need-repro'
|
