blue
/
zotero-better-notes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update: issue bot close duplicate issue

This commit is contained in:
windingwind 2023-09-25 09:25:39 +08:00
parent a1f37d83c0
commit 311f6cd0a8
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
.github/workflows/issuebot.yml vendored
View File

@ -31,7 +31,18 @@ jobs:
steps:
- uses: actions-cool/issues-helper@v3
with:
åactions: close-issue, create-comment
actions: close-issue, create-comment
token: ${{ secrets.GITHUB_TOKEN }}
body: |
Hello @${{ github.event.issue.user.login }}. This issue is marked as `invalid` and closed. Please make sure you are reporting an issue and following the issue template.
issue-duplicate:
name: close duplicate issue
if: github.event.label.name == 'duplicate'
runs-on: ubuntu-latest
steps:
- uses: actions-cool/issues-helper@v3
with:
actions: close-issue, create-comment
token: ${{ secrets.GITHUB_TOKEN }}
body: |
Hello @${{ github.event.issue.user.login }}. This issue is marked as `duplicate` and closed. Please make sure you have searched to see if an issue already exists for the bug you encountered.