chore: Fix duplicates job

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

@ -20,5 +20,5 @@ jobs:
number=${{ env.number }}
issues_filtered=$(echo "$issues" | jq --arg num "$number" 'map(select(.number != ($num | tonumber)))')
if [ "$ISSUES" != ""]; then
gh issue comment ${{ github.event.issue.number }} --body "@${{ env.author }}\nPossible duplication of:\n$issues_markdown=$"
gh issue comment ${{ github.event.issue.number }} --body "@${{ env.author }}\nPossible duplication of:\n$issues_markdown"
fi
Loading…
Cancel
Save