Skip to content

Duplicate Bot: Reduce noise - #58074

Merged
zelenenka merged 7 commits into
mainfrom
zelenenka-dupe-bot-improve-v3
May 29, 2026
Merged

Duplicate Bot: Reduce noise#58074
zelenenka merged 7 commits into
mainfrom
zelenenka-dupe-bot-improve-v3

Conversation

@zelenenka

Copy link
Copy Markdown
Contributor

Release Notes:

  • N/A

zelenenka added 7 commits May 26, 2026 10:32
The bot was way too permissive with what it surfaces in the “recently
closed, possibly related” section. This commit changes the prompt to add
some anti-examples as well as a more strict framing for the number of
expected results.

This commit also trims the output in the “recently closed, possibly
related” section by dropping the extraneous description of the issue's
status (which is already clear from the emoji GitHub puts in front of
the issue's title).
@cla-bot cla-bot Bot added the cla-signed The user has signed the Contributor License Agreement label May 29, 2026
@zed-community-bot zed-community-bot Bot added the staff Pull requests authored by a current member of Zed staff label May 29, 2026
@zelenenka
zelenenka added this pull request to the merge queue May 29, 2026
Merged via the queue into main with commit b7b1d1a May 29, 2026
43 checks passed
@zelenenka
zelenenka deleted the zelenenka-dupe-bot-improve-v3 branch May 29, 2026 13:31
@zed-zippy zed-zippy Bot added the PR state:needs review Used to label PRs that are in need of a post-merge approval label May 29, 2026
TomPlanche pushed a commit to TomPlanche/zed that referenced this pull request Jun 2, 2026
@dinocosta

Copy link
Copy Markdown
Member

@zed-industries/approved

@zed-zippy zed-zippy Bot removed the PR state:needs review Used to label PRs that are in need of a post-merge approval label Jun 3, 2026
This was referenced Jun 18, 2026
jonx pushed a commit to jonx/zed-aros that referenced this pull request Jul 17, 2026
jolutz pushed a commit to jolutz/zed that referenced this pull request Aug 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement staff Pull requests authored by a current member of Zed staff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants