chore: Fix duplicates job

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

@ -16,9 +16,9 @@ jobs:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
- name: Check duplicates - name: Check duplicates
run: | run: |
issues=$(gh issue list --search '${{ env.title }}' | grep -v "${{ env.number }}") issues=$(gh issue list --search '${{ env.title }}' --json number,title,url)
number=${{ env.number }}
issues_filtered=$(echo "$issues" | jq --arg num "$number" 'map(select(.number != ($num | tonumber)))')
if [ "$ISSUES" != ""]; then if [ "$ISSUES" != ""]; then
gh issue comment ${{ github.event.issue.number }} --body "@${{ env.author }}\nPossible duplication of:\n$issues" gh issue comment ${{ github.event.issue.number }} --body "@${{ env.author }}\nPossible duplication of:\n$issues_markdown=$"
fi fi
env:
OPENAI_KEY: ${{ secrets.OPENAI_KEY }}
Loading…
Cancel
Save