chore: Fix duplicates job

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

@ -19,6 +19,7 @@ jobs:
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)))')
issues_markdown=$(echo "$issues_filtered" | jq -r '.[] | "- [" + .title + "](" + .url + ")"')
if [ "$ISSUES" != ""]; then
gh issue comment ${{ github.event.issue.number }} --body "@${{ env.author }}\nPossible duplication of:\n$issues_markdown"
fi
Loading…
Cancel
Save