chore: Fix duplicates job

pull/1905/head
Christian Kußowski 5 months ago
parent fc300b74bf
commit 7a70e0d36d
No known key found for this signature in database
GPG Key ID: E067ECD60F1A0652

@ -16,9 +16,9 @@ jobs:
- uses: actions/checkout@v4
- name: Check duplicates
run: |
issues=$(gh issue list --search '${{ env.title }}' --json number,title,url | jq -r 'map(select(.number != ${{ env.number }})) | .[] | "- [" + .title + "](" + .url + ")"')
issues=$(gh issue list --search '${{ env.title }}' | grep -v "${{ env.number }}")
if [ "$ISSUES" != ""]; then
gh issue comment ${{ github.event.issue.number }} --body "Thanks for reporting @${{ env.author }}.\nPlease check if this could be a duplicate of one of these issues:\n$issues"
gh issue comment ${{ github.event.issue.number }} --body "@${{ env.author }}\nPossible duplication of:\n$issues"
fi
env:
OPENAI_KEY: ${{ secrets.OPENAI_KEY }}
Loading…
Cancel
Save