Skip bot-created issues in dedupe detect workflow

[qianheng-aws]

Summary

• Add condition to skip issues created by bots in the dedupe detect job to avoid unnecessary duplicate detection on automated issues (e.g., AUTOCUT)

Test plan

• Create a bot-generated issue and verify the detect job is skipped
• Create a human-generated issue and verify the detect job runs normally

[github-actions]

PR Reviewer Guide 🔍

Here are some key observations to aid the review process:

🧪 No relevant tests

🔒 No security concerns identified

✅ No TODO sections

🔀 No multiple PR themes

⚡ Recommended focus areas for review Bot Detection The condition checks github.event.issue.user.type != 'Bot' to filter out bot-created issues. It's worth validating whether GitHub's API consistently returns 'Bot' (capitalized) for all bot account types, including GitHub Apps and other automated accounts. Some automated accounts may have user.type set to 'User' even if they behave like bots (e.g., AUTOCUT if it uses a regular user token), which would cause the filter to be ineffective for those cases. if: (github.event_name == 'issues' && github.event.issue.user.type != 'Bot') || (github.event_name == 'workflow_dispatch' && inputs.job == 'detect')

[github-actions]

PR Code Suggestions ✨

Explore these optional code suggestions:

Category	Suggestion	Impact
General	Verify case-sensitive bot type comparison The comparison github.event.issue.user.type != 'Bot' is case-sensitive in GitHub Actions expressions. GitHub's API returns the user type as 'Bot' with a capital 'B', but it's safer to also handle potential variations. Additionally, consider using != 'Bot' alongside a check that the field exists to avoid issues when the field is null or missing (e.g., for workflow_dispatch events where github.event.issue is not set). Since the bot check is already inside the github.event_name == 'issues' condition, the field should be present, but verifying the casing is correct is important. .github/workflows/issue-dedupe.yml [25] +if: (github.event_name == 'issues' && github.event.issue.user.type != 'Bot') || (github.event_name == 'workflow_dispatch' && inputs.job == 'detect') - Suggestion importance[1-10]: 2 __ Why: The existing_code and improved_code are identical, meaning no actual change is proposed. The suggestion only asks to verify that 'Bot' is correctly capitalized, which is already correct per GitHub's API documentation.	Low