[PR #2680] [MERGED] Changed feedback hub request rule #25035

Open
opened 2026-01-31 09:06:51 +00:00 by claunia · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/2680
Author: @miniksa
Created: 9/5/2019
Status: Merged
Merged: 9/6/2019
Merged by: @zadjii-msft

Base: masterHead: miniksa-patch-1


📝 Commits (1)

  • 8ac73fe Changed feedback hub request rule

📊 Changes

1 file changed (+3 additions, -4 deletions)

View changed files

📝 doc/bot.md (+3 -4)

📄 Description

We were using a tag to trigger the bot for the verbose feedback hub response.

But...

  1. We have run into several instances of the bot aggressively replying multiple times before the tag is removed.
  2. We asked for a "comment contains" function in the bot and the Fabric Bot team obliged.

So I've changed it to /duplicate from the tag trigger and will remove the tag.


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/microsoft/terminal/pull/2680 **Author:** [@miniksa](https://github.com/miniksa) **Created:** 9/5/2019 **Status:** ✅ Merged **Merged:** 9/6/2019 **Merged by:** [@zadjii-msft](https://github.com/zadjii-msft) **Base:** `master` ← **Head:** `miniksa-patch-1` --- ### 📝 Commits (1) - [`8ac73fe`](https://github.com/microsoft/terminal/commit/8ac73fed66a5f482643ec7fc1c86dfa0ee8335de) Changed feedback hub request rule ### 📊 Changes **1 file changed** (+3 additions, -4 deletions) <details> <summary>View changed files</summary> 📝 `doc/bot.md` (+3 -4) </details> ### 📄 Description We were using a tag to trigger the bot for the verbose feedback hub response. But... 1. We have run into several instances of the bot aggressively replying multiple times before the tag is removed. 2. We asked for a "comment contains" function in the bot and the Fabric Bot team obliged. So I've changed it to `/duplicate` from the tag trigger and will remove the tag. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
claunia added the pull-request label 2026-01-31 09:06:51 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#25035